Class ALARM-MODEL

• Defined in theory: Dme-kb
• Source code: dme-kb.lisp

Slots on this class:

Documentation:

All model fragments that represent alarms.

Instance-Of: Class, Dme-kernel-class

Subclass-Of: Discontinuous-behavior-model