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.IsAX` Full Usage: `this.IsAX` Returns: `bool`	Returns: `bool`
`this.IsAY` Full Usage: `this.IsAY` Returns: `bool`	Returns: `bool`
`this.IsAlways` Full Usage: `this.IsAlways` Returns: `bool`	Returns: `bool`
`this.IsAtom` Full Usage: `this.IsAtom` Returns: `bool`	Returns: `bool`
`this.IsConcat` Full Usage: `this.IsConcat` Returns: `bool`	Returns: `bool`
`this.IsDetermAuto` Full Usage: `this.IsDetermAuto` Returns: `bool`	Returns: `bool`
`this.IsEX` Full Usage: `this.IsEX` Returns: `bool`	Returns: `bool`
`this.IsEY` Full Usage: `this.IsEY` Returns: `bool`	Returns: `bool`
`this.IsEventual` Full Usage: `this.IsEventual` Returns: `bool`	Returns: `bool`
`this.IsExistsAuto` Full Usage: `this.IsExistsAuto` Returns: `bool`	Returns: `bool`
`this.IsExistsPath` Full Usage: `this.IsExistsPath` Returns: `bool`	Returns: `bool`
`this.IsFiniteStar` Full Usage: `this.IsFiniteStar` Returns: `bool`	Returns: `bool`
`this.IsFixEqus` Full Usage: `this.IsFixEqus` Returns: `bool`	Returns: `bool`
`this.IsForallAuto` Full Usage: `this.IsForallAuto` Returns: `bool`	Returns: `bool`
`this.IsForallPath` Full Usage: `this.IsForallPath` Returns: `bool`	Returns: `bool`
`this.IsNext` Full Usage: `this.IsNext` Returns: `bool`	Returns: `bool`
`this.IsOmegaStar` Full Usage: `this.IsOmegaStar` Returns: `bool`	Returns: `bool`
`this.IsPastAlways` Full Usage: `this.IsPastAlways` Returns: `bool`	Returns: `bool`
`this.IsPastEventual` Full Usage: `this.IsPastEventual` Returns: `bool`	Returns: `bool`
`this.IsPastStrongBefore` Full Usage: `this.IsPastStrongBefore` Returns: `bool`	Returns: `bool`
`this.IsPastStrongNext` Full Usage: `this.IsPastStrongNext` Returns: `bool`	Returns: `bool`
`this.IsPastStrongUntil` Full Usage: `this.IsPastStrongUntil` Returns: `bool`	Returns: `bool`
`this.IsPastStrongWhen` Full Usage: `this.IsPastStrongWhen` Returns: `bool`	Returns: `bool`
`this.IsPastWeakBefore` Full Usage: `this.IsPastWeakBefore` Returns: `bool`	Returns: `bool`
`this.IsPastWeakNext` Full Usage: `this.IsPastWeakNext` Returns: `bool`	Returns: `bool`
`this.IsPastWeakUntil` Full Usage: `this.IsPastWeakUntil` Returns: `bool`	Returns: `bool`
`this.IsPastWeakWhen` Full Usage: `this.IsPastWeakWhen` Returns: `bool`	Returns: `bool`
`this.IsSpecConj` Full Usage: `this.IsSpecConj` Returns: `bool`	Returns: `bool`
`this.IsSpecDisj` Full Usage: `this.IsSpecDisj` Returns: `bool`	Returns: `bool`
`this.IsSpecEqv` Full Usage: `this.IsSpecEqv` Returns: `bool`	Returns: `bool`
`this.IsSpecImpl` Full Usage: `this.IsSpecImpl` Returns: `bool`	Returns: `bool`
`this.IsSpecNeg` Full Usage: `this.IsSpecNeg` Returns: `bool`	Returns: `bool`
`this.IsStrongBefore` Full Usage: `this.IsStrongBefore` Returns: `bool`	Returns: `bool`
`this.IsStrongUntil` Full Usage: `this.IsStrongUntil` Returns: `bool`	Returns: `bool`
`this.IsStrongWhen` Full Usage: `this.IsStrongWhen` Returns: `bool`	Returns: `bool`
`this.IsWeakBefore` Full Usage: `this.IsWeakBefore` Returns: `bool`	Returns: `bool`
`this.IsWeakUntil` Full Usage: `this.IsWeakUntil` Returns: `bool`	Returns: `bool`
`this.IsWeakWhen` Full Usage: `this.IsWeakWhen` Returns: `bool`	Returns: `bool`
`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`