SpecExpr (Averest)

SpecExpr Type

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

Union cases

Union case	Description
`AX SpecExpr` Full Usage: `AX SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`AY SpecExpr` Full Usage: `AY SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`Always SpecExpr` Full Usage: `Always SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`Atom BoolExpr` Full Usage: `Atom BoolExpr` Parameters: Item : `BoolExpr`	Item : `BoolExpr`
`Concat SpecExpr * SpecExpr` Full Usage: `Concat SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`DetermAuto DetAutomatonSymb` Full Usage: `DetermAuto DetAutomatonSymb` Parameters: Item : `DetAutomatonSymb`	Item : `DetAutomatonSymb`
`EX SpecExpr` Full Usage: `EX SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`EY SpecExpr` Full Usage: `EY SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`Eventual SpecExpr` Full Usage: `Eventual SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`ExistsAuto AutomatonSymb` Full Usage: `ExistsAuto AutomatonSymb` Parameters: Item : `AutomatonSymb`	Item : `AutomatonSymb`
`ExistsPath SpecExpr` Full Usage: `ExistsPath SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`FiniteStar SpecExpr` Full Usage: `FiniteStar SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`FixEqus (FixSign * QName * SpecExpr) list * SpecExpr` Full Usage: `FixEqus (FixSign * QName * SpecExpr) list * SpecExpr` Parameters: Item : `(FixSign * QName * SpecExpr) list * SpecExpr`	Item : `(FixSign * QName * SpecExpr) list * SpecExpr`
`ForallAuto AutomatonSymb` Full Usage: `ForallAuto AutomatonSymb` Parameters: Item : `AutomatonSymb`	Item : `AutomatonSymb`
`ForallPath SpecExpr` Full Usage: `ForallPath SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`Next SpecExpr` Full Usage: `Next SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`OmegaStar SpecExpr` Full Usage: `OmegaStar SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`PastAlways SpecExpr` Full Usage: `PastAlways SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`PastEventual SpecExpr` Full Usage: `PastEventual SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`PastStrongBefore SpecExpr * SpecExpr` Full Usage: `PastStrongBefore SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`PastStrongNext SpecExpr` Full Usage: `PastStrongNext SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`PastStrongUntil SpecExpr * SpecExpr` Full Usage: `PastStrongUntil SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`PastStrongWhen SpecExpr * SpecExpr` Full Usage: `PastStrongWhen SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`PastWeakBefore SpecExpr * SpecExpr` Full Usage: `PastWeakBefore SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`PastWeakNext SpecExpr` Full Usage: `PastWeakNext SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`PastWeakUntil SpecExpr * SpecExpr` Full Usage: `PastWeakUntil SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`PastWeakWhen SpecExpr * SpecExpr` Full Usage: `PastWeakWhen SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`SpecConj SpecExpr * SpecExpr` Full Usage: `SpecConj SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`SpecDisj SpecExpr * SpecExpr` Full Usage: `SpecDisj SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`SpecEqv SpecExpr * SpecExpr` Full Usage: `SpecEqv SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`SpecImpl SpecExpr * SpecExpr` Full Usage: `SpecImpl SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`SpecNeg SpecExpr` Full Usage: `SpecNeg SpecExpr` Parameters: Item : `SpecExpr`	Item : `SpecExpr`
`StrongBefore SpecExpr * SpecExpr` Full Usage: `StrongBefore SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`StrongUntil SpecExpr * SpecExpr` Full Usage: `StrongUntil SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`StrongWhen SpecExpr * SpecExpr` Full Usage: `StrongWhen SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`WeakBefore SpecExpr * SpecExpr` Full Usage: `WeakBefore SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`WeakUntil SpecExpr * SpecExpr` Full Usage: `WeakUntil SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`
`WeakWhen SpecExpr * SpecExpr` Full Usage: `WeakWhen SpecExpr * SpecExpr` Parameters: Item : `SpecExpr * SpecExpr`	Item : `SpecExpr * SpecExpr`

Instance members

Instance member	Description
`this.pprinter` Full Usage: `this.pprinter` Returns: `int -> PrnDrv -> unit`	Returns: `int -> PrnDrv -> unit`
`this.pprinterFixEq fq` Full Usage: `this.pprinterFixEq fq` Parameters: fq : `FixSign * QName * SpecExpr` Returns: `int -> PrnDrv -> unit`	fq : `FixSign * QName * SpecExpr` Returns: `int -> PrnDrv -> unit`
`this.pprinterOutputEq oEq` Full Usage: `this.pprinterOutputEq oEq` Parameters: oEq : `OutputEqu` Returns: `int -> PrnDrv -> unit`	oEq : `OutputEqu` Returns: `int -> PrnDrv -> unit`
`this.pprinterTransEq tr` Full Usage: `this.pprinterTransEq tr` Parameters: tr : `TransEqu` Returns: `int -> PrnDrv -> unit`	tr : `TransEqu` Returns: `int -> PrnDrv -> unit`