Module variable_type

Module variable_type 

Source
Expand description

A module defining types of values of state variables.

Traits§

FromNumeric
Trait for converting from numeric values.
Numeric
Numeric value.
ToNumeric
Trait for converting to numeric values.
ToVariableString
Trait for string representation of variables, since the ToString trait for Set outputs binary bits, which is hard to read, ToVariableString overrides it with readable string representations.

Type Aliases§

Continuous
Continuous numeric value.
Element
Element value.
Integer
Integer numeric value.
OrderedContinuous
Continuous numeric value with a total order.
Set
Set value.
Vector
Vector value.