| Value | FORWARD : THREE_PT_ACT_RANGE |
|---|
| Intention | : | This value represents the signal causing a three point actuator to move in one of the possible two directions. |
| Postreferences | : | dkref SunBlind : D_SBL6 |
| dkref SunBlind : D_SBL8 | ||
| msref SunBlind : M_SBL1 |
| Value | BACKWARD : THREE_PT_ACT_RANGE |
|---|
| Intention | : | This value represents the signal causing a three point actuator to move in one of the possible two directions. |
| Postreferences | : | dkref SunBlind : D_SBL7 |
| dkref SunBlind : D_SBL9 | ||
| msref SunBlind : M_SBL2 |
| Value | STOP : THREE_PT_ACT_RANGE |
|---|
| Intention | : | This value represents the signal causing a three point actuator to stop. |
| Postreferences | : | dkref SunBlind : D_SBL5 |
| Domain | TEMP = { -40  100 }  INTEGER |
|---|
| Intention | : | This domain contains the possible temperature values in degrees Celsius that are considered in this problem specification. |
| Postreferences | : | gsref COMFORT_TEMP |
| lsref RoomTempSensor : ROOM_TEMP | ||
| lsref OutdoorTempSensor : OUT_TEMP | ||
| lsref WaterTempSensor : WATER_TEMP | ||
| lsref TemperatureCtrlPanelFM : nonFreezeTemperature | ||
| lsref TemperatureCtrlPanelFM : standbyTemperature | ||
| lsref TemperatureCtrlPanelFM : offTemperature | ||
| lsref TempOperationMode : desiredTemperature | ||
| lsref TempOperationModeSet : roomDesiredTemperature | ||
| lsref BlindedRoomTemperature : tempBlindNoMalSet | ||
| lsref BlindedRoomTemperature : tempBlindMalSet | ||
| lsref Room : tempRadNoMalSet | ||
| lsref Room : tempRadMalSet |
| Domain | LIGHT_VALUES = { 1 10000 } NAT |
|---|
| Intention | : | This domain contains the possible light intensity values in lux that are considered in this problem specification. |
| Postreferences | : | lsref LightScene : ambientIlluminance |
| lsref OutdoorLightSensor : OUT_LIGHT_VALUES | ||
| lsref RoomLightCtrlPanelFM : defaultAmbientLightLevel | ||
| lsref LightCtrlPanelRoom : ambLightLev | ||
| lsref RoomLight : curAmbLightLev | ||
| lsref RoomLight : defaultAmbLightLev | ||
| lsref RoomLight : evalAmbient | ||
| msref RoomLight : M_RL14 |
| Domain | BINARY = { 0, 1 } NAT |
|---|
| Domain | PERCENT = { 0 100 } NAT |
|---|
| Intention | : | This domain contains the natural numbers between 0 to 100. |
| Postreferences | : | lsref Dimmer : RangeActuator |
| lsref RoomLight : evalLightScene | ||
| lsref RoomLight : evalAmbient | ||
| msref RoomLight : M_RL11 |
| Domain | COMFORT_TEMP TEMP |
|---|
| Intention | : | This domain contains the values that can be used for a comfort temperature. Note that this domain is not specified by the facility manager but is predefined, containing all possible comfort temperatures, not only those allowed by the facility manager. |
| Postreferences | : | lsref TemperatureCtrlPanel : comfortTemperature |
| Domain | THREE_PT_ACT_RANGE = { FORWARD, BACKWARD, STOP } |
|---|
| Domain | CALENDAR_TIME |
|---|
| Intention | : | This domain contains the values that can be used for a calendar time, i.e. a date. |
| Postreferences | : | gsref currentDate |
| lsref CalendarInterval : DynamicInterval | ||
| lsref ExpectedUsage : holidayTime |
| Domain | HOURS = { 0 23 } NAT |
|---|
| Intention | : | This domain contains the hours of a day. |
| Postreferences | : | gsref currentHour |
| lsref ExpectedUsage : workingTime |
| Timed Function | currentDate  CALENDAR_TIME |
|---|
| Intention | : | This function represents the current date, i.e. the current day, month, and year. |
| Scope | : | eh |
| Postreferences | : | rsref ExpectedUsage : D_EU1 |
| rsref CalendarInterval : R_CI1 |
| Timed Function | currentHour HOURS |
|---|
| Intention | : | This function represents the current hour. |
| Scope | : | eh |
| Postreferences | : | rsref ExpectedUsage : D_EU1 |