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
`this.IsBtvAppend` Full Usage: `this.IsBtvAppend` Returns: `bool`	Returns: `bool`
`this.IsBtvArrAcc` Full Usage: `this.IsBtvArrAcc` Returns: `bool`	Returns: `bool`
`this.IsBtvCase` Full Usage: `this.IsBtvCase` Returns: `bool`	Returns: `bool`
`this.IsBtvConj` Full Usage: `this.IsBtvConj` Returns: `bool`	Returns: `bool`
`this.IsBtvConst` Full Usage: `this.IsBtvConst` Returns: `bool`	Returns: `bool`
`this.IsBtvCont` Full Usage: `this.IsBtvCont` Returns: `bool`	Returns: `bool`
`this.IsBtvDisj` Full Usage: `this.IsBtvDisj` Returns: `bool`	Returns: `bool`
`this.IsBtvEqv` Full Usage: `this.IsBtvEqv` Returns: `bool`	Returns: `bool`
`this.IsBtvImpl` Full Usage: `this.IsBtvImpl` Returns: `bool`	Returns: `bool`
`this.IsBtvIte` Full Usage: `this.IsBtvIte` Returns: `bool`	Returns: `bool`
`this.IsBtvNeg` Full Usage: `this.IsBtvNeg` Returns: `bool`	Returns: `bool`
`this.IsBtvNext` Full Usage: `this.IsBtvNext` Returns: `bool`	Returns: `bool`
`this.IsBtvOfBoolArr` Full Usage: `this.IsBtvOfBoolArr` Returns: `bool`	Returns: `bool`
`this.IsBtvOfBoolTup` Full Usage: `this.IsBtvOfBoolTup` Returns: `bool`	Returns: `bool`
`this.IsBtvOfInt` Full Usage: `this.IsBtvOfInt` Returns: `bool`	Returns: `bool`
`this.IsBtvOfNat` Full Usage: `this.IsBtvOfNat` Returns: `bool`	Returns: `bool`
`this.IsBtvReplicate` Full Usage: `this.IsBtvReplicate` Returns: `bool`	Returns: `bool`
`this.IsBtvReverse` Full Usage: `this.IsBtvReverse` Returns: `bool`	Returns: `bool`
`this.IsBtvSegment` Full Usage: `this.IsBtvSegment` Returns: `bool`	Returns: `bool`
`this.IsBtvSignAdjust` Full Usage: `this.IsBtvSignAdjust` Returns: `bool`	Returns: `bool`
`this.IsBtvTupAcc` Full Usage: `this.IsBtvTupAcc` Returns: `bool`	Returns: `bool`
`this.IsBtvVar` Full Usage: `this.IsBtvVar` Returns: `bool`	Returns: `bool`
`this.IsBtvZeroAdjust` Full Usage: `this.IsBtvZeroAdjust` Returns: `bool`	Returns: `bool`
`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`