Package nts.interf

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.