|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IAnnotated | |
---|---|
nts.interf | |
nts.interf.base |
Uses of IAnnotated in nts.interf |
---|
Subinterfaces of IAnnotated in nts.interf | |
---|---|
interface |
IControlState
Interface for control states of a subsystem. |
interface |
INTS
Interface for numerical transition systems (NTS). |
interface |
ISubsystem
Interface for subsystems of numerical transition systems. |
interface |
ITransition
Interface for transitions of a subsystem. |
Uses of IAnnotated in nts.interf.base |
---|
Subinterfaces of IAnnotated in nts.interf.base | |
---|---|
interface |
IVarTableEntry
An entry of a variable table. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |