IntExpr (Averest) | 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
`this.IsIntAdd` Full Usage: `this.IsIntAdd` Returns: `bool`	Returns: `bool`
`this.IsIntArrAcc` Full Usage: `this.IsIntArrAcc` Returns: `bool`	Returns: `bool`
`this.IsIntCase` Full Usage: `this.IsIntCase` Returns: `bool`	Returns: `bool`
`this.IsIntConst` Full Usage: `this.IsIntConst` Returns: `bool`	Returns: `bool`
`this.IsIntCont` Full Usage: `this.IsIntCont` Returns: `bool`	Returns: `bool`
`this.IsIntDiv` Full Usage: `this.IsIntDiv` Returns: `bool`	Returns: `bool`
`this.IsIntIte` Full Usage: `this.IsIntIte` Returns: `bool`	Returns: `bool`
`this.IsIntMod` Full Usage: `this.IsIntMod` Returns: `bool`	Returns: `bool`
`this.IsIntMul` Full Usage: `this.IsIntMul` Returns: `bool`	Returns: `bool`
`this.IsIntNext` Full Usage: `this.IsIntNext` Returns: `bool`	Returns: `bool`
`this.IsIntOfBtv` Full Usage: `this.IsIntOfBtv` Returns: `bool`	Returns: `bool`
`this.IsIntOfNat` Full Usage: `this.IsIntOfNat` Returns: `bool`	Returns: `bool`
`this.IsIntSat` Full Usage: `this.IsIntSat` Returns: `bool`	Returns: `bool`
`this.IsIntSub` Full Usage: `this.IsIntSub` Returns: `bool`	Returns: `bool`
`this.IsIntTupAcc` Full Usage: `this.IsIntTupAcc` Returns: `bool`	Returns: `bool`
`this.IsIntVar` Full Usage: `this.IsIntVar` 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 : `IntExpr` Returns: `int -> PrnDrv -> unit`	t1 : `BoolExpr` t2 : `IntExpr` Returns: `int -> PrnDrv -> unit`