Action (Averest)

Action Type

Namespace: Averest.Core
Assembly: Averest.dll
Parent Module: Actions
Base Type: obj
All Interfaces: IEquatable<Action> , IStructuralEquatable , IComparable<Action> , IComparable , IStructuralComparable

type of action

Union cases

Union case	Description
`Assert QName * BoolExpr` Full Usage: `Assert QName * BoolExpr` Parameters: Item : `QName * BoolExpr`	Item : `QName * BoolExpr`
`AssignDrv LhsExpr * QType * Expr` Full Usage: `AssignDrv LhsExpr * QType * Expr` Parameters: Item : `LhsExpr * QType * Expr`	Item : `LhsExpr * QType * Expr`
`AssignFlw LhsExpr * QType * Expr` Full Usage: `AssignFlw LhsExpr * QType * Expr` Parameters: Item : `LhsExpr * QType * Expr`	Item : `LhsExpr * QType * Expr`
`AssignNow LhsExpr * QType * Expr` Full Usage: `AssignNow LhsExpr * QType * Expr` Parameters: Item : `LhsExpr * QType * Expr`	Item : `LhsExpr * QType * Expr`
`AssignNxt LhsExpr * QType * Expr` Full Usage: `AssignNxt LhsExpr * QType * Expr` Parameters: Item : `LhsExpr * QType * Expr`	Item : `LhsExpr * QType * Expr`
`Assume QName * BoolExpr` Full Usage: `Assume QName * BoolExpr` Parameters: Item : `QName * BoolExpr`	Item : `QName * BoolExpr`
`Constrain QName * IntervalLimit * BoolExpr` Full Usage: `Constrain QName * IntervalLimit * BoolExpr` Parameters: Item : `QName * IntervalLimit * BoolExpr`	Item : `QName * IntervalLimit * BoolExpr`
`Release QName * BoolExpr` Full Usage: `Release QName * BoolExpr` Parameters: Item : `QName * BoolExpr`	Item : `QName * BoolExpr`

Instance members

Instance member	Description
`this.printer` Full Usage: `this.printer` Returns: `PrnDrv -> unit`	Returns: `PrnDrv -> unit`