ScalarValue (Averest)

ScalarValue Type

Namespace: Averest.Simulation
Assembly: Averest.dll
Parent Module: Evaluation
Base Type: obj
All Interfaces: IEquatable<ScalarValue> , IStructuralEquatable , IComparable<ScalarValue> , IComparable , IStructuralComparable

ScalarValue defines the data type for scalar values that contain the values of the scalar data types and the two additional values Vbot and Vtop. Vbot means "yet unknown" and can be changed to a known value during causality analysis, and Vtop means "wrong value" which is the result of a erroneous evaluation such as negative nat subtraction, division by zero, negative logarithm, array bound errors, as well as write conflicts. The scalar values are partially ordered where Vbot is the minimal element, Vtop is the maximal element, and all other values are incomparable.

Union cases

Union case	Description
`Vbool bool` Full Usage: `Vbool bool` Parameters: Item : `bool`	Item : `bool`
`Vbot` Full Usage: `Vbot`
`Vbtv bool list` Full Usage: `Vbtv bool list` Parameters: Item : `bool list`	Item : `bool list`
`Vint bool list` Full Usage: `Vint bool list` Parameters: Item : `bool list`	Item : `bool list`
`Vnat bool list` Full Usage: `Vnat bool list` Parameters: Item : `bool list`	Item : `bool list`
`Vreal float` Full Usage: `Vreal float` Parameters: Item : `float`	Item : `float`
`Vtop` Full Usage: `Vtop`

Instance members

Instance member	Description
`this.printer` Full Usage: `this.printer` Returns: `PrnDrv -> unit`	Returns: `PrnDrv -> unit`