BoolExpr (Averest)

BoolExpr Type

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

Union cases

Union case	Description
`BoolArrAcc(ArrExpr, NatExpr)` Full Usage: `BoolArrAcc(ArrExpr, NatExpr)` Parameters: Item1 : `ArrExpr` Item2 : `NatExpr`	Item1 : `ArrExpr` Item2 : `NatExpr`
`BoolBitOfBtv(BtvExpr, int)` Full Usage: `BoolBitOfBtv(BtvExpr, int)` Parameters: Item1 : `BtvExpr` Item2 : `int`	Item1 : `BtvExpr` Item2 : `int`
`BoolCase((BoolExpr * BoolExpr) list, BoolExpr)` Full Usage: `BoolCase((BoolExpr * BoolExpr) list, BoolExpr)` Parameters: Item1 : `(BoolExpr * BoolExpr) list` Item2 : `BoolExpr`	Item1 : `(BoolExpr * BoolExpr) list` Item2 : `BoolExpr`
`BoolConj(BoolExpr, BoolExpr)` Full Usage: `BoolConj(BoolExpr, BoolExpr)` Parameters: Item1 : `BoolExpr` Item2 : `BoolExpr`	Item1 : `BoolExpr` Item2 : `BoolExpr`
`BoolConst bool` Full Usage: `BoolConst bool` Parameters: Item : `bool`	Item : `bool`
`BoolCont BoolExpr` Full Usage: `BoolCont BoolExpr` Parameters: Item : `BoolExpr`	Item : `BoolExpr`
`BoolDisj(BoolExpr, BoolExpr)` Full Usage: `BoolDisj(BoolExpr, BoolExpr)` Parameters: Item1 : `BoolExpr` Item2 : `BoolExpr`	Item1 : `BoolExpr` Item2 : `BoolExpr`
`BoolEqu(BoolExpr, BoolExpr)` Full Usage: `BoolEqu(BoolExpr, BoolExpr)` Parameters: Item1 : `BoolExpr` Item2 : `BoolExpr`	Item1 : `BoolExpr` Item2 : `BoolExpr`
`BoolExists(QName, QType, BoolExpr)` Full Usage: `BoolExists(QName, QType, BoolExpr)` Parameters: Item1 : `QName` Item2 : `QType` Item3 : `BoolExpr`	Item1 : `QName` Item2 : `QType` Item3 : `BoolExpr`
`BoolForall(QName, QType, BoolExpr)` Full Usage: `BoolForall(QName, QType, BoolExpr)` Parameters: Item1 : `QName` Item2 : `QType` Item3 : `BoolExpr`	Item1 : `QName` Item2 : `QType` Item3 : `BoolExpr`
`BoolImpl(BoolExpr, BoolExpr)` Full Usage: `BoolImpl(BoolExpr, BoolExpr)` Parameters: Item1 : `BoolExpr` Item2 : `BoolExpr`	Item1 : `BoolExpr` Item2 : `BoolExpr`
`BoolIte(BoolExpr, BoolExpr, BoolExpr)` Full Usage: `BoolIte(BoolExpr, BoolExpr, BoolExpr)` Parameters: Item1 : `BoolExpr` Item2 : `BoolExpr` Item3 : `BoolExpr`	Item1 : `BoolExpr` Item2 : `BoolExpr` Item3 : `BoolExpr`
`BoolNeg BoolExpr` Full Usage: `BoolNeg BoolExpr` Parameters: Item : `BoolExpr`	Item : `BoolExpr`
`BoolNext BoolExpr` Full Usage: `BoolNext BoolExpr` Parameters: Item : `BoolExpr`	Item : `BoolExpr`
`BoolPresent LhsExpr` Full Usage: `BoolPresent LhsExpr` Parameters: Item : `LhsExpr`	Item : `LhsExpr`
`BoolTupAcc(TupExpr, int)` Full Usage: `BoolTupAcc(TupExpr, int)` Parameters: Item1 : `TupExpr` Item2 : `int`	Item1 : `TupExpr` Item2 : `int`
`BoolVar QName` Full Usage: `BoolVar QName` Parameters: Item : `QName`	Item : `QName`
`BtvEqu(BtvExpr, BtvExpr)` Full Usage: `BtvEqu(BtvExpr, BtvExpr)` Parameters: Item1 : `BtvExpr` Item2 : `BtvExpr`	Item1 : `BtvExpr` Item2 : `BtvExpr`
`IntEqu(IntExpr, IntExpr)` Full Usage: `IntEqu(IntExpr, IntExpr)` Parameters: Item1 : `IntExpr` Item2 : `IntExpr`	Item1 : `IntExpr` Item2 : `IntExpr`
`IntLeq(IntExpr, IntExpr)` Full Usage: `IntLeq(IntExpr, IntExpr)` Parameters: Item1 : `IntExpr` Item2 : `IntExpr`	Item1 : `IntExpr` Item2 : `IntExpr`
`IntLes(IntExpr, IntExpr)` Full Usage: `IntLes(IntExpr, IntExpr)` Parameters: Item1 : `IntExpr` Item2 : `IntExpr`	Item1 : `IntExpr` Item2 : `IntExpr`
`NatEqu(NatExpr, NatExpr)` Full Usage: `NatEqu(NatExpr, NatExpr)` Parameters: Item1 : `NatExpr` Item2 : `NatExpr`	Item1 : `NatExpr` Item2 : `NatExpr`
`NatLeq(NatExpr, NatExpr)` Full Usage: `NatLeq(NatExpr, NatExpr)` Parameters: Item1 : `NatExpr` Item2 : `NatExpr`	Item1 : `NatExpr` Item2 : `NatExpr`
`NatLes(NatExpr, NatExpr)` Full Usage: `NatLes(NatExpr, NatExpr)` Parameters: Item1 : `NatExpr` Item2 : `NatExpr`	Item1 : `NatExpr` Item2 : `NatExpr`
`RealEqu(RealExpr, RealExpr)` Full Usage: `RealEqu(RealExpr, RealExpr)` Parameters: Item1 : `RealExpr` Item2 : `RealExpr`	Item1 : `RealExpr` Item2 : `RealExpr`
`RealLeq(RealExpr, RealExpr)` Full Usage: `RealLeq(RealExpr, RealExpr)` Parameters: Item1 : `RealExpr` Item2 : `RealExpr`	Item1 : `RealExpr` Item2 : `RealExpr`
`RealLes(RealExpr, RealExpr)` Full Usage: `RealLes(RealExpr, RealExpr)` Parameters: Item1 : `RealExpr` Item2 : `RealExpr`	Item1 : `RealExpr` Item2 : `RealExpr`
`TupEqu(TupExpr, TupExpr)` Full Usage: `TupEqu(TupExpr, TupExpr)` Parameters: Item1 : `TupExpr` Item2 : `TupExpr`	Item1 : `TupExpr` Item2 : `TupExpr`

Instance members

Instance member	Description
`this.IsBoolArrAcc` Full Usage: `this.IsBoolArrAcc` Returns: `bool`	Returns: `bool`
`this.IsBoolBitOfBtv` Full Usage: `this.IsBoolBitOfBtv` Returns: `bool`	Returns: `bool`
`this.IsBoolCase` Full Usage: `this.IsBoolCase` Returns: `bool`	Returns: `bool`
`this.IsBoolConj` Full Usage: `this.IsBoolConj` Returns: `bool`	Returns: `bool`
`this.IsBoolConst` Full Usage: `this.IsBoolConst` Returns: `bool`	Returns: `bool`
`this.IsBoolCont` Full Usage: `this.IsBoolCont` Returns: `bool`	Returns: `bool`
`this.IsBoolDisj` Full Usage: `this.IsBoolDisj` Returns: `bool`	Returns: `bool`
`this.IsBoolEqu` Full Usage: `this.IsBoolEqu` Returns: `bool`	Returns: `bool`
`this.IsBoolExists` Full Usage: `this.IsBoolExists` Returns: `bool`	Returns: `bool`
`this.IsBoolForall` Full Usage: `this.IsBoolForall` Returns: `bool`	Returns: `bool`
`this.IsBoolImpl` Full Usage: `this.IsBoolImpl` Returns: `bool`	Returns: `bool`
`this.IsBoolIte` Full Usage: `this.IsBoolIte` Returns: `bool`	Returns: `bool`
`this.IsBoolNeg` Full Usage: `this.IsBoolNeg` Returns: `bool`	Returns: `bool`
`this.IsBoolNext` Full Usage: `this.IsBoolNext` Returns: `bool`	Returns: `bool`
`this.IsBoolPresent` Full Usage: `this.IsBoolPresent` Returns: `bool`	Returns: `bool`
`this.IsBoolTupAcc` Full Usage: `this.IsBoolTupAcc` Returns: `bool`	Returns: `bool`
`this.IsBoolVar` Full Usage: `this.IsBoolVar` Returns: `bool`	Returns: `bool`
`this.IsBtvEqu` Full Usage: `this.IsBtvEqu` Returns: `bool`	Returns: `bool`
`this.IsIntEqu` Full Usage: `this.IsIntEqu` Returns: `bool`	Returns: `bool`
`this.IsIntLeq` Full Usage: `this.IsIntLeq` Returns: `bool`	Returns: `bool`
`this.IsIntLes` Full Usage: `this.IsIntLes` Returns: `bool`	Returns: `bool`
`this.IsNatEqu` Full Usage: `this.IsNatEqu` Returns: `bool`	Returns: `bool`
`this.IsNatLeq` Full Usage: `this.IsNatLeq` Returns: `bool`	Returns: `bool`
`this.IsNatLes` Full Usage: `this.IsNatLes` Returns: `bool`	Returns: `bool`
`this.IsRealEqu` Full Usage: `this.IsRealEqu` Returns: `bool`	Returns: `bool`
`this.IsRealLeq` Full Usage: `this.IsRealLeq` Returns: `bool`	Returns: `bool`
`this.IsRealLes` Full Usage: `this.IsRealLes` Returns: `bool`	Returns: `bool`
`this.IsTupEqu` Full Usage: `this.IsTupEqu` Returns: `bool`	Returns: `bool`
`this.pprinter` Full Usage: `this.pprinter` Returns: `int -> PrnDrv -> unit`	Returns: `int -> PrnDrv -> unit`
`this.pprinterCase (t1, t2)` Full Usage: `this.pprinterCase (t1, t2)` Parameters: t1 : `BoolExpr` t2 : `BoolExpr` Returns: `int -> PrnDrv -> unit`	t1 : `BoolExpr` t2 : `BoolExpr` Returns: `int -> PrnDrv -> unit`