BtvExpr (Averest)

BtvExpr Type

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

Union cases

Union case	Description
`BtvAppend(BtvExpr, BtvExpr)` Full Usage: `BtvAppend(BtvExpr, BtvExpr)` Parameters: Item1 : `BtvExpr` Item2 : `BtvExpr`	Item1 : `BtvExpr` Item2 : `BtvExpr`
`BtvArrAcc(ArrExpr, NatExpr)` Full Usage: `BtvArrAcc(ArrExpr, NatExpr)` Parameters: Item1 : `ArrExpr` Item2 : `NatExpr`	Item1 : `ArrExpr` Item2 : `NatExpr`
`BtvCase((BoolExpr * BtvExpr) list, BtvExpr)` Full Usage: `BtvCase((BoolExpr * BtvExpr) list, BtvExpr)` Parameters: Item1 : `(BoolExpr * BtvExpr) list` Item2 : `BtvExpr`	Item1 : `(BoolExpr * BtvExpr) list` Item2 : `BtvExpr`
`BtvConj(BtvExpr, BtvExpr)` Full Usage: `BtvConj(BtvExpr, BtvExpr)` Parameters: Item1 : `BtvExpr` Item2 : `BtvExpr`	Item1 : `BtvExpr` Item2 : `BtvExpr`
`BtvConst bool list` Full Usage: `BtvConst bool list` Parameters: Item : `bool list`	Item : `bool list`
`BtvCont BtvExpr` Full Usage: `BtvCont BtvExpr` Parameters: Item : `BtvExpr`	Item : `BtvExpr`
`BtvDisj(BtvExpr, BtvExpr)` Full Usage: `BtvDisj(BtvExpr, BtvExpr)` Parameters: Item1 : `BtvExpr` Item2 : `BtvExpr`	Item1 : `BtvExpr` Item2 : `BtvExpr`
`BtvEqv(BtvExpr, BtvExpr)` Full Usage: `BtvEqv(BtvExpr, BtvExpr)` Parameters: Item1 : `BtvExpr` Item2 : `BtvExpr`	Item1 : `BtvExpr` Item2 : `BtvExpr`
`BtvImpl(BtvExpr, BtvExpr)` Full Usage: `BtvImpl(BtvExpr, BtvExpr)` Parameters: Item1 : `BtvExpr` Item2 : `BtvExpr`	Item1 : `BtvExpr` Item2 : `BtvExpr`
`BtvIte(BoolExpr, BtvExpr, BtvExpr)` Full Usage: `BtvIte(BoolExpr, BtvExpr, BtvExpr)` Parameters: Item1 : `BoolExpr` Item2 : `BtvExpr` Item3 : `BtvExpr`	Item1 : `BoolExpr` Item2 : `BtvExpr` Item3 : `BtvExpr`
`BtvNeg BtvExpr` Full Usage: `BtvNeg BtvExpr` Parameters: Item : `BtvExpr`	Item : `BtvExpr`
`BtvNext BtvExpr` Full Usage: `BtvNext BtvExpr` Parameters: Item : `BtvExpr`	Item : `BtvExpr`
`BtvOfBoolArr(QName, int)` Full Usage: `BtvOfBoolArr(QName, int)` Parameters: Item1 : `QName` Item2 : `int`	Item1 : `QName` Item2 : `int`
`BtvOfBoolTup BoolExpr list` Full Usage: `BtvOfBoolTup BoolExpr list` Parameters: Item : `BoolExpr list`	Item : `BoolExpr list`
`BtvOfInt(IntExpr, int)` Full Usage: `BtvOfInt(IntExpr, int)` Parameters: Item1 : `IntExpr` Item2 : `int`	Item1 : `IntExpr` Item2 : `int`
`BtvOfNat(NatExpr, int)` Full Usage: `BtvOfNat(NatExpr, int)` Parameters: Item1 : `NatExpr` Item2 : `int`	Item1 : `NatExpr` Item2 : `int`
`BtvReplicate(BoolExpr, int)` Full Usage: `BtvReplicate(BoolExpr, int)` Parameters: Item1 : `BoolExpr` Item2 : `int`	Item1 : `BoolExpr` Item2 : `int`
`BtvReverse BtvExpr` Full Usage: `BtvReverse BtvExpr` Parameters: Item : `BtvExpr`	Item : `BtvExpr`
`BtvSegment(BtvExpr, int, int)` Full Usage: `BtvSegment(BtvExpr, int, int)` Parameters: Item1 : `BtvExpr` Item2 : `int` Item3 : `int`	Item1 : `BtvExpr` Item2 : `int` Item3 : `int`
`BtvSignAdjust(int, BtvExpr)` Full Usage: `BtvSignAdjust(int, BtvExpr)` Parameters: Item1 : `int` Item2 : `BtvExpr`	Item1 : `int` Item2 : `BtvExpr`
`BtvTupAcc(TupExpr, int)` Full Usage: `BtvTupAcc(TupExpr, int)` Parameters: Item1 : `TupExpr` Item2 : `int`	Item1 : `TupExpr` Item2 : `int`
`BtvVar(QName, int option)` Full Usage: `BtvVar(QName, int option)` Parameters: Item1 : `QName` Item2 : `int option`	Item1 : `QName` Item2 : `int option`
`BtvZeroAdjust(int, BtvExpr)` Full Usage: `BtvZeroAdjust(int, BtvExpr)` Parameters: Item1 : `int` Item2 : `BtvExpr`	Item1 : `int` Item2 : `BtvExpr`

Instance members

Instance member Description

Instance member	Description
`this.pprinter` Full Usage: `this.pprinter` Returns: `PPrinter`	Returns: `PPrinter`
`this.pprinterCase (t1, t2)` Full Usage: `this.pprinterCase (t1, t2)` Parameters: t1 : `BoolExpr` t2 : `BtvExpr` Returns: `int -> PrnDrv -> unit`	t1 : `BoolExpr` t2 : `BtvExpr` Returns: `int -> PrnDrv -> unit`


                
                  
                    
                      this.pprinter

Full Usage: this.pprinter

Returns: PPrinter

Returns: PPrinter


                
                  
                    
                      this.pprinterCase (t1, t2)

Full Usage: this.pprinterCase (t1, t2)

Parameters:

t1 : BoolExpr

t2 : BtvExpr

Returns: int -> PrnDrv -> unit

t1 : BoolExpr
t2 : BtvExpr

Returns: int -> PrnDrv -> unit