nts.interf
Interface ISubsystem
- All Superinterfaces:
- IAnnotated, IScope, IVisitable
public interface ISubsystem
- extends IScope, IAnnotated, IVisitable
Interface for subsystems of numerical transition systems.
name
java.lang.String name()
- Returns:
- the name of the subsystem
instances
IExpr instances()
- Returns:
- number of instances of the subsystem
controlStates
java.util.List<IControlState> controlStates()
- Returns:
- list of all control states
marksInit
java.util.List<IControlState> marksInit()
- Returns:
- list of control states marked as initial
marksFinal
java.util.List<IControlState> marksFinal()
- Returns:
- list of control states marked as final
marksError
java.util.List<IControlState> marksError()
- Returns:
- list of control states marked as error
varIn
java.util.List<IVarTableEntry> varIn()
- Returns:
- list of variables declared as input variables
varOut
java.util.List<IVarTableEntry> varOut()
- Returns:
- list of variables declared as output variables
transitions
java.util.List<ITransition> transitions()
- Returns:
- list of transitions