.Modelica_Requirements.Types.Property .Modelica_Requirements.Types.PropertyEnumeration 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);