ConstExpr (Averest)

ConstExpr Type

Namespace: Averest.Quartz
Assembly: Averest.dll
Parent Module: UtyExprs
Abbreviation For: UtyExpr
Base Type: obj
All Interfaces: IEquatable<UtyExpr> , IStructuralEquatable , IComparable<UtyExpr> , IComparable , IStructuralComparable

Instance members

Instance member	Description
`this.IsUtyAX` Full Usage: `this.IsUtyAX` Returns: `bool`	Returns: `bool`
`this.IsUtyAY` Full Usage: `this.IsUtyAY` Returns: `bool`	Returns: `bool`
`this.IsUtyAbs` Full Usage: `this.IsUtyAbs` Returns: `bool`	Returns: `bool`
`this.IsUtyAdd` Full Usage: `this.IsUtyAdd` Returns: `bool`	Returns: `bool`
`this.IsUtyAlways` Full Usage: `this.IsUtyAlways` Returns: `bool`	Returns: `bool`
`this.IsUtyAny` Full Usage: `this.IsUtyAny` Returns: `bool`	Returns: `bool`
`this.IsUtyAppend` Full Usage: `this.IsUtyAppend` Returns: `bool`	Returns: `bool`
`this.IsUtyApply` Full Usage: `this.IsUtyApply` Returns: `bool`	Returns: `bool`
`this.IsUtyArr` Full Usage: `this.IsUtyArr` Returns: `bool`	Returns: `bool`
`this.IsUtyArr2Btv` Full Usage: `this.IsUtyArr2Btv` Returns: `bool`	Returns: `bool`
`this.IsUtyArrAcc` Full Usage: `this.IsUtyArrAcc` Returns: `bool`	Returns: `bool`
`this.IsUtyBitOfBtv` Full Usage: `this.IsUtyBitOfBtv` Returns: `bool`	Returns: `bool`
`this.IsUtyBool2Btv` Full Usage: `this.IsUtyBool2Btv` Returns: `bool`	Returns: `bool`
`this.IsUtyBtv2Int` Full Usage: `this.IsUtyBtv2Int` Returns: `bool`	Returns: `bool`
`this.IsUtyBtv2Nat` Full Usage: `this.IsUtyBtv2Nat` Returns: `bool`	Returns: `bool`
`this.IsUtyBtvConst` Full Usage: `this.IsUtyBtvConst` Returns: `bool`	Returns: `bool`
`this.IsUtyConcat` Full Usage: `this.IsUtyConcat` Returns: `bool`	Returns: `bool`
`this.IsUtyConj` Full Usage: `this.IsUtyConj` Returns: `bool`	Returns: `bool`
`this.IsUtyCont` Full Usage: `this.IsUtyCont` Returns: `bool`	Returns: `bool`
`this.IsUtyCos` Full Usage: `this.IsUtyCos` Returns: `bool`	Returns: `bool`
`this.IsUtyDisj` Full Usage: `this.IsUtyDisj` Returns: `bool`	Returns: `bool`
`this.IsUtyDiv` Full Usage: `this.IsUtyDiv` Returns: `bool`	Returns: `bool`
`this.IsUtyDrv` Full Usage: `this.IsUtyDrv` Returns: `bool`	Returns: `bool`
`this.IsUtyEX` Full Usage: `this.IsUtyEX` Returns: `bool`	Returns: `bool`
`this.IsUtyEY` Full Usage: `this.IsUtyEY` Returns: `bool`	Returns: `bool`
`this.IsUtyEqu` Full Usage: `this.IsUtyEqu` Returns: `bool`	Returns: `bool`
`this.IsUtyEqv` Full Usage: `this.IsUtyEqv` Returns: `bool`	Returns: `bool`
`this.IsUtyEventual` Full Usage: `this.IsUtyEventual` Returns: `bool`	Returns: `bool`
`this.IsUtyExists` Full Usage: `this.IsUtyExists` Returns: `bool`	Returns: `bool`
`this.IsUtyExistsPath` Full Usage: `this.IsUtyExistsPath` Returns: `bool`	Returns: `bool`
`this.IsUtyExp` Full Usage: `this.IsUtyExp` Returns: `bool`	Returns: `bool`
`this.IsUtyFalse` Full Usage: `this.IsUtyFalse` Returns: `bool`	Returns: `bool`
`this.IsUtyFiniteStar` Full Usage: `this.IsUtyFiniteStar` Returns: `bool`	Returns: `bool`
`this.IsUtyFixEqus` Full Usage: `this.IsUtyFixEqus` Returns: `bool`	Returns: `bool`
`this.IsUtyForall` Full Usage: `this.IsUtyForall` Returns: `bool`	Returns: `bool`
`this.IsUtyForallPath` Full Usage: `this.IsUtyForallPath` Returns: `bool`	Returns: `bool`
`this.IsUtyITE` Full Usage: `this.IsUtyITE` Returns: `bool`	Returns: `bool`
`this.IsUtyImpl` Full Usage: `this.IsUtyImpl` Returns: `bool`	Returns: `bool`
`this.IsUtyInside` Full Usage: `this.IsUtyInside` Returns: `bool`	Returns: `bool`
`this.IsUtyInstant` Full Usage: `this.IsUtyInstant` Returns: `bool`	Returns: `bool`
`this.IsUtyInt2Btv` Full Usage: `this.IsUtyInt2Btv` Returns: `bool`	Returns: `bool`
`this.IsUtyInt2Real` Full Usage: `this.IsUtyInt2Real` Returns: `bool`	Returns: `bool`
`this.IsUtyIntConst` Full Usage: `this.IsUtyIntConst` Returns: `bool`	Returns: `bool`
`this.IsUtyLeq` Full Usage: `this.IsUtyLeq` Returns: `bool`	Returns: `bool`
`this.IsUtyLes` Full Usage: `this.IsUtyLes` Returns: `bool`	Returns: `bool`
`this.IsUtyListConj` Full Usage: `this.IsUtyListConj` Returns: `bool`	Returns: `bool`
`this.IsUtyListDisj` Full Usage: `this.IsUtyListDisj` Returns: `bool`	Returns: `bool`
`this.IsUtyListSum` Full Usage: `this.IsUtyListSum` Returns: `bool`	Returns: `bool`
`this.IsUtyLog2` Full Usage: `this.IsUtyLog2` Returns: `bool`	Returns: `bool`
`this.IsUtyMod` Full Usage: `this.IsUtyMod` Returns: `bool`	Returns: `bool`
`this.IsUtyMul` Full Usage: `this.IsUtyMul` Returns: `bool`	Returns: `bool`
`this.IsUtyNat2Btv` Full Usage: `this.IsUtyNat2Btv` Returns: `bool`	Returns: `bool`
`this.IsUtyNat2Int` Full Usage: `this.IsUtyNat2Int` Returns: `bool`	Returns: `bool`
`this.IsUtyNat2Real` Full Usage: `this.IsUtyNat2Real` Returns: `bool`	Returns: `bool`
`this.IsUtyNatConst` Full Usage: `this.IsUtyNatConst` Returns: `bool`	Returns: `bool`
`this.IsUtyNeg` Full Usage: `this.IsUtyNeg` Returns: `bool`	Returns: `bool`
`this.IsUtyNext` Full Usage: `this.IsUtyNext` Returns: `bool`	Returns: `bool`
`this.IsUtyOmegaStar` Full Usage: `this.IsUtyOmegaStar` Returns: `bool`	Returns: `bool`
`this.IsUtyPastAlways` Full Usage: `this.IsUtyPastAlways` Returns: `bool`	Returns: `bool`
`this.IsUtyPastEventual` Full Usage: `this.IsUtyPastEventual` Returns: `bool`	Returns: `bool`
`this.IsUtyPastStrongBefore` Full Usage: `this.IsUtyPastStrongBefore` Returns: `bool`	Returns: `bool`
`this.IsUtyPastStrongNext` Full Usage: `this.IsUtyPastStrongNext` Returns: `bool`	Returns: `bool`
`this.IsUtyPastStrongUntil` Full Usage: `this.IsUtyPastStrongUntil` Returns: `bool`	Returns: `bool`
`this.IsUtyPastStrongWhen` Full Usage: `this.IsUtyPastStrongWhen` Returns: `bool`	Returns: `bool`
`this.IsUtyPastWeakBefore` Full Usage: `this.IsUtyPastWeakBefore` Returns: `bool`	Returns: `bool`
`this.IsUtyPastWeakNext` Full Usage: `this.IsUtyPastWeakNext` Returns: `bool`	Returns: `bool`
`this.IsUtyPastWeakUntil` Full Usage: `this.IsUtyPastWeakUntil` Returns: `bool`	Returns: `bool`
`this.IsUtyPastWeakWhen` Full Usage: `this.IsUtyPastWeakWhen` Returns: `bool`	Returns: `bool`
`this.IsUtyPresent` Full Usage: `this.IsUtyPresent` Returns: `bool`	Returns: `bool`
`this.IsUtyRealConst` Full Usage: `this.IsUtyRealConst` Returns: `bool`	Returns: `bool`
`this.IsUtyReplicate` Full Usage: `this.IsUtyReplicate` Returns: `bool`	Returns: `bool`
`this.IsUtyReverse` Full Usage: `this.IsUtyReverse` Returns: `bool`	Returns: `bool`
`this.IsUtySat` Full Usage: `this.IsUtySat` Returns: `bool`	Returns: `bool`
`this.IsUtySegment` Full Usage: `this.IsUtySegment` Returns: `bool`	Returns: `bool`
`this.IsUtySin` Full Usage: `this.IsUtySin` Returns: `bool`	Returns: `bool`
`this.IsUtySizeOf` Full Usage: `this.IsUtySizeOf` Returns: `bool`	Returns: `bool`
`this.IsUtyStrongBefore` Full Usage: `this.IsUtyStrongBefore` Returns: `bool`	Returns: `bool`
`this.IsUtyStrongUntil` Full Usage: `this.IsUtyStrongUntil` Returns: `bool`	Returns: `bool`
`this.IsUtyStrongWhen` Full Usage: `this.IsUtyStrongWhen` Returns: `bool`	Returns: `bool`
`this.IsUtySub` Full Usage: `this.IsUtySub` Returns: `bool`	Returns: `bool`
`this.IsUtyTerminate` Full Usage: `this.IsUtyTerminate` Returns: `bool`	Returns: `bool`
`this.IsUtyTrue` Full Usage: `this.IsUtyTrue` Returns: `bool`	Returns: `bool`
`this.IsUtyTup` Full Usage: `this.IsUtyTup` Returns: `bool`	Returns: `bool`
`this.IsUtyTup2Btv` Full Usage: `this.IsUtyTup2Btv` Returns: `bool`	Returns: `bool`
`this.IsUtyTupAcc` Full Usage: `this.IsUtyTupAcc` Returns: `bool`	Returns: `bool`
`this.IsUtyVar` Full Usage: `this.IsUtyVar` Returns: `bool`	Returns: `bool`
`this.IsUtyWeakBefore` Full Usage: `this.IsUtyWeakBefore` Returns: `bool`	Returns: `bool`
`this.IsUtyWeakUntil` Full Usage: `this.IsUtyWeakUntil` Returns: `bool`	Returns: `bool`
`this.IsUtyWeakWhen` Full Usage: `this.IsUtyWeakWhen` Returns: `bool`	Returns: `bool`