NatExpr (Averest)

NatExpr Type

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

Union cases

Union case	Description
`IntAbs IntExpr` Full Usage: `IntAbs IntExpr` Parameters: Item : `IntExpr`	Item : `IntExpr`
`NatAdd(NatExpr, NatExpr)` Full Usage: `NatAdd(NatExpr, NatExpr)` Parameters: Item1 : `NatExpr` Item2 : `NatExpr`	Item1 : `NatExpr` Item2 : `NatExpr`
`NatArrAcc(ArrExpr, NatExpr)` Full Usage: `NatArrAcc(ArrExpr, NatExpr)` Parameters: Item1 : `ArrExpr` Item2 : `NatExpr`	Item1 : `ArrExpr` Item2 : `NatExpr`
`NatCase((BoolExpr * NatExpr) list, NatExpr)` Full Usage: `NatCase((BoolExpr * NatExpr) list, NatExpr)` Parameters: Item1 : `(BoolExpr * NatExpr) list` Item2 : `NatExpr`	Item1 : `(BoolExpr * NatExpr) list` Item2 : `NatExpr`
`NatConst bool list` Full Usage: `NatConst bool list` Parameters: Item : `bool list`	Item : `bool list`
`NatCont NatExpr` Full Usage: `NatCont NatExpr` Parameters: Item : `NatExpr`	Item : `NatExpr`
`NatDiv(NatExpr, NatExpr)` Full Usage: `NatDiv(NatExpr, NatExpr)` Parameters: Item1 : `NatExpr` Item2 : `NatExpr`	Item1 : `NatExpr` Item2 : `NatExpr`
`NatExp(NatExpr, NatExpr)` Full Usage: `NatExp(NatExpr, NatExpr)` Parameters: Item1 : `NatExpr` Item2 : `NatExpr`	Item1 : `NatExpr` Item2 : `NatExpr`
`NatIte(BoolExpr, NatExpr, NatExpr)` Full Usage: `NatIte(BoolExpr, NatExpr, NatExpr)` Parameters: Item1 : `BoolExpr` Item2 : `NatExpr` Item3 : `NatExpr`	Item1 : `BoolExpr` Item2 : `NatExpr` Item3 : `NatExpr`
`NatLog2 NatExpr` Full Usage: `NatLog2 NatExpr` Parameters: Item : `NatExpr`	Item : `NatExpr`
`NatMod(NatExpr, NatExpr)` Full Usage: `NatMod(NatExpr, NatExpr)` Parameters: Item1 : `NatExpr` Item2 : `NatExpr`	Item1 : `NatExpr` Item2 : `NatExpr`
`NatMul(NatExpr, NatExpr)` Full Usage: `NatMul(NatExpr, NatExpr)` Parameters: Item1 : `NatExpr` Item2 : `NatExpr`	Item1 : `NatExpr` Item2 : `NatExpr`
`NatNext NatExpr` Full Usage: `NatNext NatExpr` Parameters: Item : `NatExpr`	Item : `NatExpr`
`NatOfBtv BtvExpr` Full Usage: `NatOfBtv BtvExpr` Parameters: Item : `BtvExpr`	Item : `BtvExpr`
`NatSat(bool list, NatExpr)` Full Usage: `NatSat(bool list, NatExpr)` Parameters: Item1 : `bool list` Item2 : `NatExpr`	Item1 : `bool list` Item2 : `NatExpr`
`NatSub(NatExpr, NatExpr)` Full Usage: `NatSub(NatExpr, NatExpr)` Parameters: Item1 : `NatExpr` Item2 : `NatExpr`	Item1 : `NatExpr` Item2 : `NatExpr`
`NatTupAcc(TupExpr, int)` Full Usage: `NatTupAcc(TupExpr, int)` Parameters: Item1 : `TupExpr` Item2 : `int`	Item1 : `TupExpr` Item2 : `int`
`NatVar(QName, bool list option)` Full Usage: `NatVar(QName, bool list option)` Parameters: Item1 : `QName` Item2 : `bool list option`	Item1 : `QName` Item2 : `bool list option`

Instance members

Instance member	Description
`this.IsIntAbs` Full Usage: `this.IsIntAbs` Returns: `bool`	Returns: `bool`
`this.IsNatAdd` Full Usage: `this.IsNatAdd` Returns: `bool`	Returns: `bool`
`this.IsNatArrAcc` Full Usage: `this.IsNatArrAcc` Returns: `bool`	Returns: `bool`
`this.IsNatCase` Full Usage: `this.IsNatCase` Returns: `bool`	Returns: `bool`
`this.IsNatConst` Full Usage: `this.IsNatConst` Returns: `bool`	Returns: `bool`
`this.IsNatCont` Full Usage: `this.IsNatCont` Returns: `bool`	Returns: `bool`
`this.IsNatDiv` Full Usage: `this.IsNatDiv` Returns: `bool`	Returns: `bool`
`this.IsNatExp` Full Usage: `this.IsNatExp` Returns: `bool`	Returns: `bool`
`this.IsNatIte` Full Usage: `this.IsNatIte` Returns: `bool`	Returns: `bool`
`this.IsNatLog2` Full Usage: `this.IsNatLog2` Returns: `bool`	Returns: `bool`
`this.IsNatMod` Full Usage: `this.IsNatMod` Returns: `bool`	Returns: `bool`
`this.IsNatMul` Full Usage: `this.IsNatMul` Returns: `bool`	Returns: `bool`
`this.IsNatNext` Full Usage: `this.IsNatNext` Returns: `bool`	Returns: `bool`
`this.IsNatOfBtv` Full Usage: `this.IsNatOfBtv` Returns: `bool`	Returns: `bool`
`this.IsNatSat` Full Usage: `this.IsNatSat` Returns: `bool`	Returns: `bool`
`this.IsNatSub` Full Usage: `this.IsNatSub` Returns: `bool`	Returns: `bool`
`this.IsNatTupAcc` Full Usage: `this.IsNatTupAcc` Returns: `bool`	Returns: `bool`
`this.IsNatVar` Full Usage: `this.IsNatVar` 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 : `NatExpr` Returns: `int -> PrnDrv -> unit`	t1 : `BoolExpr` t2 : `NatExpr` Returns: `int -> PrnDrv -> unit`