Enumeration defining literals for three-valued logic to model properties and requirements (a requirement is a property that should be Satisfied). The second columen (Integer value) defines the (Modelica) value of the enumeration that is, for example, used when storing a value in a result file.

Literal Integer value Description
Violated = 1 The property is violated.
Undecided = 2 The property is neither satisfied nor violated yet.
Satisfied = 3 The property is satisfied.


type Property = enumeration(Violated, Undecided, Satisfied);

Generated at 2021-01-16T01:58:43Z by OpenModelicaOpenModelica 1.17.0~dev-334-g2cb7e95 using GenerateDoc.mos