INTENTION
This class provides all the definitions to describe a single operation mode of a room concerning temperature. A timed predicate is provided indicating whether the operation mode is active and a timed function represeenting the temperature that should be established if the operation mode is active.
SIGNATURE
| Timed Function | desiredTemperature  TEMP |
|---|
| Intention | : | This function represents the temperature that should be established in a room in this operation mode. |
| Scope | : | mh |
| Timed Predicate | active |
|---|
| Intention | : | This predicate is true iff this operation mode is active. |
| Scope | : | mh |