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.
FORMAL PARAMETERS
| Sort | INT_DOM |
|---|
| Intention | : | This domain contains the values the start and end point of the interval have to belong to. |
SIGNATURE
| Object | start : EnteredValue(CHECKED_DOM = INT_DOM) |
|---|
| Intention | : | This object represents the starting point of the interval that can be entered by a person. The entered value has to be an element of the domain INT_DOM. |
| Object | end : EnteredValue(CHECKED_DOM = INT_DOM) |
|---|
| Intention | : | This object represents the end point of the interval that can be entered by a person. The entered value has to be an element of the domain INT_DOM. |
| Predicate | leq : INT_DOM, INT_DOM |
|---|
| Intention | : | This predicate is true iff the first argument is less than or equal to the second argument. |
| Scope | : | mh |
| Property | M_DI1 |
|---|
| NL | : | The starting point of the interval is always less than or equal to the end point of the interval. |