INTENTION
This class provides all definitions to describe a dynamic interval. An interval is a subset of a specific domain and is given by a start (object start) and an end point (object end). The domain is given by the formal parameter INT_DOM. Furthermore, a predicate leq is provided indicating whether a value of the considered domain is less or equal to another value.
Dynamic means that the values of the start and end point of the interval can change over time. Both values can be entered by a person. Therefore the start and end point are objects of the class EnteredValue.
MACHINE SPECIFICATIONS
| Property | M_DI1 |
|---|
| NL | : | The starting point of the interval is always less than or equal to the end point of the interval. |