|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use nts.interf | |
---|---|
nts.interf | |
nts.interf.base |
Classes in nts.interf used by nts.interf | |
---|---|
IControlState
Interface for control states of a subsystem. |
|
ISubsystem
Interface for subsystems of numerical transition systems. |
|
ITransition
Interface for transitions of a subsystem. |
Classes in nts.interf used by nts.interf.base | |
---|---|
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 NEXT | FRAMES NO FRAMES |