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

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

Returns: int -> PrnDrv -> unit

t1 : BoolExpr
t2 : RealExpr

Returns: int -> PrnDrv -> unit