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. |
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. |
Value | STOP : THREE_PT_ACT_RANGE |
---|
Intention | : | This value represents the signal causing a three point actuator to stop. |
Domain | TEMP = { -40 100 } INTEGER |
---|
Intention | : | This domain contains the possible temperature values in degrees Celsius that are considered in this problem specification. |
Domain | LIGHT_VALUES = { 1 10000 } NAT |
---|
Intention | : | This domain contains the possible light intensity values in lux that are considered in this problem specification. |
Domain | BINARY = { 0, 1 } NAT |
---|
Intention | : | This domain contains the values 0 and 1. |
Domain | PERCENT = { 0 100 } NAT |
---|
Intention | : | This domain contains the natural numbers between 0 to 100. |
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. |
Domain | THREE_PT_ACT_RANGE = { FORWARD, BACKWARD, STOP } |
---|
Intention | : | This domain contains the possible control states of a three point actuator. |
Domain | CALENDAR_TIME |
---|
Intention | : | This domain contains the values that can be used for a calendar time, i.e. a date. |
Domain | HOURS = { 0 23 } NAT |
---|
Intention | : | This domain contains the hours of a day. |
Timed Function | currentDate CALENDAR_TIME |
---|
Intention | : | This function represents the current date, i.e. the current day, month, and year. |
Scope | : | eh |
Timed Function | currentHour HOURS |
---|
Intention | : | This function represents the current hour. |
Scope | : | eh |