| Domain | LIGHT_VALUES = { 1  10000 }  NAT |
|---|
| NL | : | light values |
| Intention | : | This domain contains the natural numbers between 1 and 10000. They represent the possible light intensity values in lux that are considered in this problem specification. |
| Prereferences | : | akref Table1 |
| Postreferences | : | lsref LightScene : ambLightLevel |
| lsref OutdoorLightSensor : OUT_LIGHT_VALUES | ||
| lsref Area : dayLight | ||
| lsref Area : evalSaveLight | ||
| lsref Room : evalLightScene |
| Domain | BINARY = { 0, 1 } NAT |
|---|
| Intention | : | This domain contains the natural numbers 0 and 1. They represent the binary values. |
| Prereferences | : | akref Table1 |
| akref Table2 | ||
| Postreferences | : | lsref BinarySensor : Sensor |
| dkref BinarySensor : D_BS2 | ||
| dkref BinarySensor : D_BS3 | ||
| lsref ToggleActuator : Actuator | ||
| lsref BinaryActuator : RangeActuator | ||
| dkref BinaryActuator : D_BA1 | ||
| lsref AreaCtrlPanelFM : lightOff | ||
| lsref RoomCtrlPanel : winCeilLightSwitch | ||
| lsref RoomCtrlPanel : wallCeilLightSwitch | ||
| lsref RoomCtrlPanel : lightSceneSwitch | ||
| lsref MalfunctionOccupancy : manualEnteredOcc | ||
| lsref MalfunctionSensor : manualEnteredMal | ||
| lsref MalfunctionActuator : manualEnteredMal | ||
| lsref Area : evalSaveLight | ||
| lsref MalfunctionOccupancy : manualEnteredMal |
| Domain | PERCENT = { 0 100 } NAT |
|---|
| Intention | : | This domain contains the natural numbers between 0 to 100. They represent the possible percentual values considered in this problem specification. |
| Prereferences | : | akref Table2 |
| Postreferences | : | lsref Dimmer : RangeActuator |
| lsref RoomCtrlPanel : wallCeilLightDimmer | ||
| lsref RoomCtrlPanel : winCeilLightDimmer | ||
| lsref Room : evalLightScene | ||
| msref Room : M_R10 |