Aif (Averest)

Aif Module

Namespace: Averest.Systems
Assembly: Averest.dll

Types

Type	Description
AIFModule
AIFSystem
AbsReaction
Argument
Behavior
CompileContext
DepthCall
SelectionList
Specification
SurfaceCall
SystemPart
Transfer

Functions and values

Function or value	Description
`AbsReactionOfCell absReact (arg2, arg3)` Full Usage: `AbsReactionOfCell absReact (arg2, arg3)` Parameters: absReact : `AbsReaction list` arg1 : `LhsExpr` arg2 : `Storage` Returns: `Expr * Expr`	absReact : `AbsReaction list` arg1 : `LhsExpr` arg2 : `Storage` Returns: `Expr * Expr`
`AbsReactionOfLhs absReacts (lhs, st)` Full Usage: `AbsReactionOfLhs absReacts (lhs, st)` Parameters: absReacts : `AbsReaction list` lhs : `LhsExpr` st : `Storage` Returns: `Expr`	absReacts : `AbsReaction list` lhs : `LhsExpr` st : `Storage` Returns: `Expr`
`FVarsAbsReact abs` Full Usage: `FVarsAbsReact abs` Parameters: abs : `AbsReaction` Returns: `Set<QName * QType>`	abs : `AbsReaction` Returns: `Set<QName * QType>`
`FVarsBehavior behav` Full Usage: `FVarsBehavior behav` Parameters: behav : `Behavior` Returns: `Set<QName * QType>`	behav : `Behavior` Returns: `Set<QName * QType>`
`FVarsSpecification spec` Full Usage: `FVarsSpecification spec` Parameters: spec : `Specification` Returns: `Set<QName * QType>`	spec : `Specification` Returns: `Set<QName * QType>`
`FVarsSystem system` Full Usage: `FVarsSystem system` Parameters: system : `AIFSystem` Returns: `Set<QName * QType>`	system : `AIFSystem` Returns: `Set<QName * QType>`
`FVarsSystemPart part` Full Usage: `FVarsSystemPart part` Parameters: part : `SystemPart` Returns: `Set<QName * QType>`	part : `SystemPart` Returns: `Set<QName * QType>`
`FindBootLabel ctrlFlow` Full Usage: `FindBootLabel ctrlFlow` Parameters: ctrlFlow : `(BoolExpr * Action) list` Returns: `QName * (BoolExpr * 'a -> BoolExpr * 'a)`	ctrlFlow : `(BoolExpr * Action) list` Returns: `QName * (BoolExpr * 'a -> BoolExpr * 'a)`
`MainSystemPart system` Full Usage: `MainSystemPart system` Parameters: system : `AIFSystem` Returns: `SystemPart`	system : `AIFSystem` Returns: `SystemPart`
`MergeBehavior b1 b2` Full Usage: `MergeBehavior b1 b2` Parameters: b1 : `Behavior` b2 : `Behavior` Returns: `Behavior`	b1 : `Behavior` b2 : `Behavior` Returns: `Behavior`
`PrnAIFModule md` Full Usage: `PrnAIFModule md` Parameters: md : `AIFModule` Returns: `PrnDrv -> unit`	md : `AIFModule` Returns: `PrnDrv -> unit`
`PrnAIFSystem system` Full Usage: `PrnAIFSystem system` Parameters: system : `AIFSystem` Returns: `PrnDrv -> unit`	system : `AIFSystem` Returns: `PrnDrv -> unit`
`PrnAbsenseReaction abs` Full Usage: `PrnAbsenseReaction abs` Parameters: abs : `AbsReaction` Returns: `PrnDrv -> unit`	abs : `AbsReaction` Returns: `PrnDrv -> unit`
`PrnAbsenseReactions arL` Full Usage: `PrnAbsenseReactions arL` Parameters: arL : `AbsReaction list` Returns: `PrnDrv -> unit`	arL : `AbsReaction list` Returns: `PrnDrv -> unit`
`PrnArgument arg` Full Usage: `PrnArgument arg` Parameters: arg : `(Expr * BoolExpr) option` Returns: `PrnDrv -> unit`	arg : `(Expr * BoolExpr) option` Returns: `PrnDrv -> unit`
`PrnBehavior label b` Full Usage: `PrnBehavior label b` Parameters: label : `string` b : `Behavior` Returns: `PrnDrv -> unit`	label : `string` b : `Behavior` Returns: `PrnDrv -> unit`
`PrnCompileContext cc` Full Usage: `PrnCompileContext cc` Parameters: cc : `CompileContext` Returns: `PrnDrv -> unit`	cc : `CompileContext` Returns: `PrnDrv -> unit`
`PrnDepthCall dc` Full Usage: `PrnDepthCall dc` Parameters: dc : `DepthCall` Returns: `PrnDrv -> unit`	dc : `DepthCall` Returns: `PrnDrv -> unit`
`PrnSelection (grd, qn)` Full Usage: `PrnSelection (grd, qn)` Parameters: grd : `BoolExpr` qn : `QName` Returns: `PrnDrv -> unit`	grd : `BoolExpr` qn : `QName` Returns: `PrnDrv -> unit`
`PrnSpecification spec` Full Usage: `PrnSpecification spec` Parameters: spec : `Specification` Returns: `PrnDrv -> unit`	spec : `Specification` Returns: `PrnDrv -> unit`
`PrnSpecifications specL` Full Usage: `PrnSpecifications specL` Parameters: specL : `Specification list` Returns: `PrnDrv -> unit`	specL : `Specification list` Returns: `PrnDrv -> unit`
`PrnSurfaceCall sc` Full Usage: `PrnSurfaceCall sc` Parameters: sc : `SurfaceCall` Returns: `PrnDrv -> unit`	sc : `SurfaceCall` Returns: `PrnDrv -> unit`
`PrnSystemPart obs` Full Usage: `PrnSystemPart obs` Parameters: obs : `SystemPart` Returns: `PrnDrv -> unit`	obs : `SystemPart` Returns: `PrnDrv -> unit`
`PrnTransfer tL` Full Usage: `PrnTransfer tL` Parameters: tL : `Transfer` Returns: `PrnDrv -> unit`	tL : `Transfer` Returns: `PrnDrv -> unit`
`PrnTransfers trfL` Full Usage: `PrnTransfers trfL` Parameters: trfL : `Transfer list` Returns: `PrnDrv -> unit`	trfL : `Transfer list` Returns: `PrnDrv -> unit`
`ReadSubstAbsReaction rho abs` Full Usage: `ReadSubstAbsReaction rho abs` Parameters: rho : `Map<QName, Expr>` abs : `AbsReaction` Returns: `AbsReaction`	rho : `Map<QName, Expr>` abs : `AbsReaction` Returns: `AbsReaction`
`ReadSubstBehavior rho beh` Full Usage: `ReadSubstBehavior rho beh` Parameters: rho : `Map<QName, Expr>` beh : `Behavior` Returns: `Behavior`	rho : `Map<QName, Expr>` beh : `Behavior` Returns: `Behavior`
`ReadSubstSpecification rho spec` Full Usage: `ReadSubstSpecification rho spec` Parameters: rho : `Map<QName, Expr>` spec : `Specification` Returns: `Specification`	rho : `Map<QName, Expr>` spec : `Specification` Returns: `Specification`
`ReadSubstSystemPart rho part` Full Usage: `ReadSubstSystemPart rho part` Parameters: rho : `Map<QName, Expr>` part : `SystemPart` Returns: `SystemPart`	rho : `Map<QName, Expr>` part : `SystemPart` Returns: `SystemPart`
`SubstAbsReaction rho abs` Full Usage: `SubstAbsReaction rho abs` Parameters: rho : `Map<QName, Expr>` abs : `AbsReaction` Returns: `AbsReaction`	rho : `Map<QName, Expr>` abs : `AbsReaction` Returns: `AbsReaction`
`SubstBehavior rho beh` Full Usage: `SubstBehavior rho beh` Parameters: rho : `Map<QName, Expr>` beh : `Behavior` Returns: `Behavior`	rho : `Map<QName, Expr>` beh : `Behavior` Returns: `Behavior`
`SubstTransfer rho tf` Full Usage: `SubstTransfer rho tf` Parameters: rho : `Map<QName, Expr>` tf : `Transfer` Returns: `Transfer`	rho : `Map<QName, Expr>` tf : `Transfer` Returns: `Transfer`
`Transfer2AbsReactionList tf` Full Usage: `Transfer2AbsReactionList tf` Parameters: tf : `Transfer` Returns: `AbsReaction list`	tf : `Transfer` Returns: `AbsReaction list`
`readModulePrefix` Full Usage: `readModulePrefix` Returns: `(Map<QName, Decl> -> QName -> QName) ref`	Returns: `(Map<QName, Decl> -> QName -> QName) ref`