IntExpr (Averest)

IntExpr Type

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

Union cases

Union case	Description
`IntAdd(IntExpr, IntExpr)` Full Usage: `IntAdd(IntExpr, IntExpr)` Parameters: Item1 : `IntExpr` Item2 : `IntExpr`	Item1 : `IntExpr` Item2 : `IntExpr`
`IntArrAcc(ArrExpr, NatExpr)` Full Usage: `IntArrAcc(ArrExpr, NatExpr)` Parameters: Item1 : `ArrExpr` Item2 : `NatExpr`	Item1 : `ArrExpr` Item2 : `NatExpr`
`IntCase((BoolExpr * IntExpr) list, IntExpr)` Full Usage: `IntCase((BoolExpr * IntExpr) list, IntExpr)` Parameters: Item1 : `(BoolExpr * IntExpr) list` Item2 : `IntExpr`	Item1 : `(BoolExpr * IntExpr) list` Item2 : `IntExpr`
`IntConst bool list` Full Usage: `IntConst bool list` Parameters: Item : `bool list`	Item : `bool list`
`IntCont IntExpr` Full Usage: `IntCont IntExpr` Parameters: Item : `IntExpr`	Item : `IntExpr`
`IntDiv(IntExpr, IntExpr)` Full Usage: `IntDiv(IntExpr, IntExpr)` Parameters: Item1 : `IntExpr` Item2 : `IntExpr`	Item1 : `IntExpr` Item2 : `IntExpr`
`IntIte(BoolExpr, IntExpr, IntExpr)` Full Usage: `IntIte(BoolExpr, IntExpr, IntExpr)` Parameters: Item1 : `BoolExpr` Item2 : `IntExpr` Item3 : `IntExpr`	Item1 : `BoolExpr` Item2 : `IntExpr` Item3 : `IntExpr`
`IntMod(IntExpr, IntExpr)` Full Usage: `IntMod(IntExpr, IntExpr)` Parameters: Item1 : `IntExpr` Item2 : `IntExpr`	Item1 : `IntExpr` Item2 : `IntExpr`
`IntMul(IntExpr, IntExpr)` Full Usage: `IntMul(IntExpr, IntExpr)` Parameters: Item1 : `IntExpr` Item2 : `IntExpr`	Item1 : `IntExpr` Item2 : `IntExpr`
`IntNext IntExpr` Full Usage: `IntNext IntExpr` Parameters: Item : `IntExpr`	Item : `IntExpr`
`IntOfBtv BtvExpr` Full Usage: `IntOfBtv BtvExpr` Parameters: Item : `BtvExpr`	Item : `BtvExpr`
`IntOfNat NatExpr` Full Usage: `IntOfNat NatExpr` Parameters: Item : `NatExpr`	Item : `NatExpr`
`IntSat(bool list, IntExpr)` Full Usage: `IntSat(bool list, IntExpr)` Parameters: Item1 : `bool list` Item2 : `IntExpr`	Item1 : `bool list` Item2 : `IntExpr`
`IntSub(IntExpr, IntExpr)` Full Usage: `IntSub(IntExpr, IntExpr)` Parameters: Item1 : `IntExpr` Item2 : `IntExpr`	Item1 : `IntExpr` Item2 : `IntExpr`
`IntTupAcc(TupExpr, int)` Full Usage: `IntTupAcc(TupExpr, int)` Parameters: Item1 : `TupExpr` Item2 : `int`	Item1 : `TupExpr` Item2 : `int`
`IntVar(QName, bool list option)` Full Usage: `IntVar(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 : `IntExpr` Returns: `int -> PrnDrv -> unit`	t1 : `BoolExpr` t2 : `IntExpr` 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 : IntExpr

Returns: int -> PrnDrv -> unit

t1 : BoolExpr
t2 : IntExpr

Returns: int -> PrnDrv -> unit