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

Instance member	Description
`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`


                
                  
                    
                      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