RealExpr (Averest)

RealExpr Type

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

Union cases

Union case	Description
`RealAdd(RealExpr, RealExpr)` Full Usage: `RealAdd(RealExpr, RealExpr)` Parameters: Item1 : `RealExpr` Item2 : `RealExpr`	Item1 : `RealExpr` Item2 : `RealExpr`
`RealArrAcc(ArrExpr, NatExpr)` Full Usage: `RealArrAcc(ArrExpr, NatExpr)` Parameters: Item1 : `ArrExpr` Item2 : `NatExpr`	Item1 : `ArrExpr` Item2 : `NatExpr`
`RealCase((BoolExpr * RealExpr) list, RealExpr)` Full Usage: `RealCase((BoolExpr * RealExpr) list, RealExpr)` Parameters: Item1 : `(BoolExpr * RealExpr) list` Item2 : `RealExpr`	Item1 : `(BoolExpr * RealExpr) list` Item2 : `RealExpr`
`RealConst double` Full Usage: `RealConst double` Parameters: Item : `double`	Item : `double`
`RealCont RealExpr` Full Usage: `RealCont RealExpr` Parameters: Item : `RealExpr`	Item : `RealExpr`
`RealCos RealExpr` Full Usage: `RealCos RealExpr` Parameters: Item : `RealExpr`	Item : `RealExpr`
`RealDiv(RealExpr, RealExpr)` Full Usage: `RealDiv(RealExpr, RealExpr)` Parameters: Item1 : `RealExpr` Item2 : `RealExpr`	Item1 : `RealExpr` Item2 : `RealExpr`
`RealDrv RealExpr` Full Usage: `RealDrv RealExpr` Parameters: Item : `RealExpr`	Item : `RealExpr`
`RealExp(RealExpr, RealExpr)` Full Usage: `RealExp(RealExpr, RealExpr)` Parameters: Item1 : `RealExpr` Item2 : `RealExpr`	Item1 : `RealExpr` Item2 : `RealExpr`
`RealIte(BoolExpr, RealExpr, RealExpr)` Full Usage: `RealIte(BoolExpr, RealExpr, RealExpr)` Parameters: Item1 : `BoolExpr` Item2 : `RealExpr` Item3 : `RealExpr`	Item1 : `BoolExpr` Item2 : `RealExpr` Item3 : `RealExpr`
`RealLog2 RealExpr` Full Usage: `RealLog2 RealExpr` Parameters: Item : `RealExpr`	Item : `RealExpr`
`RealMul(RealExpr, RealExpr)` Full Usage: `RealMul(RealExpr, RealExpr)` Parameters: Item1 : `RealExpr` Item2 : `RealExpr`	Item1 : `RealExpr` Item2 : `RealExpr`
`RealNext RealExpr` Full Usage: `RealNext RealExpr` Parameters: Item : `RealExpr`	Item : `RealExpr`
`RealOfInt IntExpr` Full Usage: `RealOfInt IntExpr` Parameters: Item : `IntExpr`	Item : `IntExpr`
`RealOfNat NatExpr` Full Usage: `RealOfNat NatExpr` Parameters: Item : `NatExpr`	Item : `NatExpr`
`RealSin RealExpr` Full Usage: `RealSin RealExpr` Parameters: Item : `RealExpr`	Item : `RealExpr`
`RealSub(RealExpr, RealExpr)` Full Usage: `RealSub(RealExpr, RealExpr)` Parameters: Item1 : `RealExpr` Item2 : `RealExpr`	Item1 : `RealExpr` Item2 : `RealExpr`
`RealTupAcc(TupExpr, int)` Full Usage: `RealTupAcc(TupExpr, int)` Parameters: Item1 : `TupExpr` Item2 : `int`	Item1 : `TupExpr` Item2 : `int`
`RealVar QName` Full Usage: `RealVar QName` Parameters: Item : `QName`	Item : `QName`

Instance members

Instance member	Description
`this.IsRealAdd` Full Usage: `this.IsRealAdd` Returns: `bool`	Returns: `bool`
`this.IsRealArrAcc` Full Usage: `this.IsRealArrAcc` Returns: `bool`	Returns: `bool`
`this.IsRealCase` Full Usage: `this.IsRealCase` Returns: `bool`	Returns: `bool`
`this.IsRealConst` Full Usage: `this.IsRealConst` Returns: `bool`	Returns: `bool`
`this.IsRealCont` Full Usage: `this.IsRealCont` Returns: `bool`	Returns: `bool`
`this.IsRealCos` Full Usage: `this.IsRealCos` Returns: `bool`	Returns: `bool`
`this.IsRealDiv` Full Usage: `this.IsRealDiv` Returns: `bool`	Returns: `bool`
`this.IsRealDrv` Full Usage: `this.IsRealDrv` Returns: `bool`	Returns: `bool`
`this.IsRealExp` Full Usage: `this.IsRealExp` Returns: `bool`	Returns: `bool`
`this.IsRealIte` Full Usage: `this.IsRealIte` Returns: `bool`	Returns: `bool`
`this.IsRealLog2` Full Usage: `this.IsRealLog2` Returns: `bool`	Returns: `bool`
`this.IsRealMul` Full Usage: `this.IsRealMul` Returns: `bool`	Returns: `bool`
`this.IsRealNext` Full Usage: `this.IsRealNext` Returns: `bool`	Returns: `bool`
`this.IsRealOfInt` Full Usage: `this.IsRealOfInt` Returns: `bool`	Returns: `bool`
`this.IsRealOfNat` Full Usage: `this.IsRealOfNat` Returns: `bool`	Returns: `bool`
`this.IsRealSin` Full Usage: `this.IsRealSin` Returns: `bool`	Returns: `bool`
`this.IsRealSub` Full Usage: `this.IsRealSub` Returns: `bool`	Returns: `bool`
`this.IsRealTupAcc` Full Usage: `this.IsRealTupAcc` Returns: `bool`	Returns: `bool`
`this.IsRealVar` Full Usage: `this.IsRealVar` 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 : `RealExpr` Returns: `int -> PrnDrv -> unit`	t1 : `BoolExpr` t2 : `RealExpr` Returns: `int -> PrnDrv -> unit`