Global Signature

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

Intention	:	This domain contains the values 0 and 1.
Postreferences	:	lsref Sensor : manualEnteredMal
		lsref BinarySensor : Sensor
		dkref BinarySensor : D_BS2
		dkref BinarySensor : D_BS3
		lsref Actuator : manualEnteredMal
		lsref ToggleActuator : Actuator
		lsref BinaryActuator : RangeActuator
		dkref BinaryActuator : D_BA1
		lsref AreaLightCtrlPanelFM : lightOn
		lsref LightCtrlPanelRoom : winCeilLightSwitch
		lsref LightCtrlPanelRoom : wallCeilLightSwitch
		lsref LightCtrlPanelRoom : ambientSwitch
		lsref LightCtrlPanelRoom : lightSceneSwitch
		lsref MalfunctionOccupancy : manualEnteredOcc
		lsref Occupancy : manualEnteredMal
		lsref AreaLight : evalSaveLight

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