|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
ICall | Procedure call interface. |
IControlState | Interface for control states of a subsystem. |
INTS | Interface for numerical transition systems (NTS). |
ISubsystem | Interface for subsystems of numerical transition systems. |
ITransition | Interface for transitions of a subsystem. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |