Header menu logo F# Header menu logo Averest

Action Type

type of action

Union cases

Union case Description

Assert QName * BoolExpr

Full Usage: Assert QName * BoolExpr

Parameters:
Item : QName * BoolExpr

AssignDrv LhsExpr * QType * Expr

Full Usage: AssignDrv LhsExpr * QType * Expr

Parameters:
Item : LhsExpr * QType * Expr

AssignFlw LhsExpr * QType * Expr

Full Usage: AssignFlw LhsExpr * QType * Expr

Parameters:
Item : LhsExpr * QType * Expr

AssignNow LhsExpr * QType * Expr

Full Usage: AssignNow LhsExpr * QType * Expr

Parameters:
Item : LhsExpr * QType * Expr

AssignNxt LhsExpr * QType * Expr

Full Usage: AssignNxt LhsExpr * QType * Expr

Parameters:
Item : LhsExpr * QType * Expr

Assume QName * BoolExpr

Full Usage: Assume QName * BoolExpr

Parameters:
Item : QName * BoolExpr

Constrain QName * IntervalLimit * BoolExpr

Full Usage: Constrain QName * IntervalLimit * BoolExpr

Parameters:
Item : QName * IntervalLimit * BoolExpr

Release QName * BoolExpr

Full Usage: Release QName * BoolExpr

Parameters:
Item : QName * BoolExpr

Instance members

Instance member Description

this.IsAssert

Full Usage: this.IsAssert

Returns: bool
Returns: bool

this.IsAssignDrv

Full Usage: this.IsAssignDrv

Returns: bool
Returns: bool

this.IsAssignFlw

Full Usage: this.IsAssignFlw

Returns: bool
Returns: bool

this.IsAssignNow

Full Usage: this.IsAssignNow

Returns: bool
Returns: bool

this.IsAssignNxt

Full Usage: this.IsAssignNxt

Returns: bool
Returns: bool

this.IsAssume

Full Usage: this.IsAssume

Returns: bool
Returns: bool

this.IsConstrain

Full Usage: this.IsConstrain

Returns: bool
Returns: bool

this.IsRelease

Full Usage: this.IsRelease

Returns: bool
Returns: bool

this.printer

Full Usage: this.printer

Returns: PrnDrv -> unit
Returns: PrnDrv -> unit

Type something to start searching.