INTENTION
This class provides all definitions to describe a door. A door contains three door contacts.
SIGNATURE
Object | doorClosedContact : DoorContact |
---|
Intention | : | This object represents the closed contact of a door. It is true iff the door is completely closed. |
Object | doorOpenContact : DoorContact |
---|
Intention | : | This object represents the open contact of a door. It is true iff the door is open for at least 30 degree. |
Object | doorLockContact : DoorContact |
---|
Intention | : | This object represents the lock contact of a door. It is true iff the door is locked by a key. |