Actions (Averest)

Actions Module

Namespace: Averest.Core
Assembly: Averest.dll

Types

Type	Description
Action	type of action
GrdAction	type of guraded action
IntervalLimit

Functions and values

Function or value	Description
`ActionReadCells action` Full Usage: `ActionReadCells action` Parameters: action : `Action` Returns: `Set<LhsExpr>`	action : `Action` Returns: `Set<LhsExpr>`
`ActionWriteCells action` Full Usage: `ActionWriteCells action` Parameters: action : `Action` Returns: `Set<LhsExpr>`	action : `Action` Returns: `Set<LhsExpr>`
`ActionWriteNowCells action` Full Usage: `ActionWriteNowCells action` Parameters: action : `Action` Returns: `Set<LhsExpr>`	action : `Action` Returns: `Set<LhsExpr>`
`ActionWriteNxtCells action` Full Usage: `ActionWriteNxtCells action` Parameters: action : `Action` Returns: `Set<LhsExpr>`	action : `Action` Returns: `Set<LhsExpr>`
`AssignsToLhs lhsX action` Full Usage: `AssignsToLhs lhsX action` Parameters: lhsX : `LhsExpr` action : `Action` Returns: `bool`	lhsX : `LhsExpr` action : `Action` Returns: `bool`
`AssignsToQName qn action` Full Usage: `AssignsToQName qn action` Parameters: qn : `QName` action : `Action` Returns: `bool`	qn : `QName` action : `Action` Returns: `bool`
`CondOfAction action` Full Usage: `CondOfAction action` Parameters: action : `Action` Returns: `BoolExpr`	action : `Action` Returns: `BoolExpr`
`CondOfGrdAction (g, a)` Full Usage: `CondOfGrdAction (g, a)` Parameters: g : `'a` a : `Action` Returns: `BoolExpr`	g : `'a` a : `Action` Returns: `BoolExpr`
`FVarsAction act` Full Usage: `FVarsAction act` Parameters: act : `Action` Returns: `Set<QName * QType>`	act : `Action` Returns: `Set<QName * QType>`
`FVarsGrdAction (grd, act)` Full Usage: `FVarsGrdAction (grd, act)` Parameters: grd : `BoolExpr` act : `Action` Returns: `Set<QName * QType>`	grd : `BoolExpr` act : `Action` Returns: `Set<QName * QType>`
`GrdActionReadCells (grd, act)` Full Usage: `GrdActionReadCells (grd, act)` Parameters: grd : `BoolExpr` act : `Action` Returns: `Set<LhsExpr>`	grd : `BoolExpr` act : `Action` Returns: `Set<LhsExpr>`
`GrdActionWriteCells (grd, act)` Full Usage: `GrdActionWriteCells (grd, act)` Parameters: grd : `'a` act : `Action` Returns: `Set<LhsExpr>`	grd : `'a` act : `Action` Returns: `Set<LhsExpr>`
`GrdActionWriteNowCells (grd, act)` Full Usage: `GrdActionWriteNowCells (grd, act)` Parameters: grd : `'a` act : `Action` Returns: `Set<LhsExpr>`	grd : `'a` act : `Action` Returns: `Set<LhsExpr>`
`GrdActionWriteNxtCells (grd, act)` Full Usage: `GrdActionWriteNxtCells (grd, act)` Parameters: grd : `'a` act : `Action` Returns: `Set<LhsExpr>`	grd : `'a` act : `Action` Returns: `Set<LhsExpr>`
`IsAssert action` Full Usage: `IsAssert action` Parameters: action : `Action` Returns: `bool`	action : `Action` Returns: `bool`
`IsAssertOrAssume action` Full Usage: `IsAssertOrAssume action` Parameters: action : `Action` Returns: `bool`	action : `Action` Returns: `bool`
`IsAssign action` Full Usage: `IsAssign action` Parameters: action : `Action` Returns: `bool`	action : `Action` Returns: `bool`
`IsAssignDrv action` Full Usage: `IsAssignDrv action` Parameters: action : `Action` Returns: `bool`	action : `Action` Returns: `bool`
`IsAssignFlw action` Full Usage: `IsAssignFlw action` Parameters: action : `Action` Returns: `bool`	action : `Action` Returns: `bool`
`IsAssignNow action` Full Usage: `IsAssignNow action` Parameters: action : `Action` Returns: `bool`	action : `Action` Returns: `bool`
`IsAssignNxt action` Full Usage: `IsAssignNxt action` Parameters: action : `Action` Returns: `bool`	action : `Action` Returns: `bool`
`IsAssume action` Full Usage: `IsAssume action` Parameters: action : `Action` Returns: `bool`	action : `Action` Returns: `bool`
`IsConstrain action` Full Usage: `IsConstrain action` Parameters: action : `Action` Returns: `bool`	action : `Action` Returns: `bool`
`IsContinuousAct action` Full Usage: `IsContinuousAct action` Parameters: action : `Action` Returns: `bool`	action : `Action` Returns: `bool`
`IsContinuousCond action` Full Usage: `IsContinuousCond action` Parameters: action : `Action` Returns: `bool`	action : `Action` Returns: `bool`
`IsRelease action` Full Usage: `IsRelease action` Parameters: action : `Action` Returns: `bool`	action : `Action` Returns: `bool`
`LhsOfAction action` Full Usage: `LhsOfAction action` Parameters: action : `Action` Returns: `LhsExpr`	action : `Action` Returns: `LhsExpr`
`LhsOfGrdAction (g, a)` Full Usage: `LhsOfGrdAction (g, a)` Parameters: g : `'a` a : `Action` Returns: `LhsExpr`	g : `'a` a : `Action` Returns: `LhsExpr`
`PrnAction a` Full Usage: `PrnAction a` Parameters: a : `Action` Returns: `PrnDrv -> unit`	print action a : `Action` Returns: `PrnDrv -> unit`
`PrnGrdAction (grd, act)` Full Usage: `PrnGrdAction (grd, act)` Parameters: grd : `BoolExpr` act : `Action` Returns: `PrnDrv -> unit`	print guarded action grd : `BoolExpr` act : `Action` Returns: `PrnDrv -> unit`
`PrnILimit (strI, midI, endI)` Full Usage: `PrnILimit (strI, midI, endI)` Parameters: strI : `bool` midI : `bool` endI : `bool` Returns: `PrnDrv -> unit`	strI : `bool` midI : `bool` endI : `bool` Returns: `PrnDrv -> unit`
`QNameOfAction action` Full Usage: `QNameOfAction action` Parameters: action : `Action` Returns: `QName option`	action : `Action` Returns: `QName option`
`ReadSubstAction rho action` Full Usage: `ReadSubstAction rho action` Parameters: rho : `Map<QName, Expr>` action : `Action` Returns: `Action`	rho : `Map<QName, Expr>` action : `Action` Returns: `Action`
`ReadSubstGrdAction rho (g, a)` Full Usage: `ReadSubstGrdAction rho (g, a)` Parameters: rho : `Map<QName, Expr>` g : `BoolExpr` a : `Action` Returns: `BoolExpr * Action`	rho : `Map<QName, Expr>` g : `BoolExpr` a : `Action` Returns: `BoolExpr * Action`
`ReadVarsAction act` Full Usage: `ReadVarsAction act` Parameters: act : `Action` Returns: `Set<QName * QType>`	act : `Action` Returns: `Set<QName * QType>`
`ReadVarsGrdAction (grd, act)` Full Usage: `ReadVarsGrdAction (grd, act)` Parameters: grd : `BoolExpr` act : `Action` Returns: `Set<QName * QType>`	grd : `BoolExpr` act : `Action` Returns: `Set<QName * QType>`
`RhsOfAction action` Full Usage: `RhsOfAction action` Parameters: action : `Action` Returns: `Expr`	action : `Action` Returns: `Expr`
`RhsOfGrdAction (g, a)` Full Usage: `RhsOfGrdAction (g, a)` Parameters: g : `'a` a : `Action` Returns: `Expr`	g : `'a` a : `Action` Returns: `Expr`
`SubstAction rho action` Full Usage: `SubstAction rho action` Parameters: rho : `Map<QName, Expr>` action : `Action` Returns: `Action`	rho : `Map<QName, Expr>` action : `Action` Returns: `Action`
`SubstGrdAction rho (g, a)` Full Usage: `SubstGrdAction rho (g, a)` Parameters: rho : `Map<QName, Expr>` g : `BoolExpr` a : `Action` Returns: `BoolExpr * Action`	rho : `Map<QName, Expr>` g : `BoolExpr` a : `Action` Returns: `BoolExpr * Action`