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

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 : `NatExpr` Returns: `int -> PrnDrv -> unit`	t1 : `BoolExpr` t2 : `NatExpr` 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 : NatExpr

Returns: int -> PrnDrv -> unit

t1 : BoolExpr
t2 : NatExpr

Returns: int -> PrnDrv -> unit