INTENTION
This class provides all definitions specific to rooms that are no offices and that have sun blinds. In addition to the definitions of the description class Room only the installation of the control panel is considered here.
FORMAL PARAMETERS
Function | numRad NAT |
---|
Intention | : | This parameter represents the number of radiators that belong to a room. |
Function | numSunBlinds NAT |
---|
Intention | : | This parameter represents the number of sun blinds that belong to a room and which can be controlled by the machine. |
Function | numDoorHallway NAT |
---|
Intention | : | This parameter represents the number of doors of a room to the hallway. |
BASE CLASSES
Class | BlindedRoom(numRad = numRad, numSunBlinds = numSunBlinds, numDoorHallway = numDoorHallway) |
---|
Intention |
: | All definitions of description class BlindedRoom are also provided here. |
REQUIREMENT SPECIFICATIONS
Property | R_BNO1 |
---|
NonFormal | : | The control panel should be installed near a door to the hallway. |