nts.interf
Interface ISubsystem

All Superinterfaces:
IAnnotated, IScope, IVisitable

public interface ISubsystem
extends IScope, IAnnotated, IVisitable

Interface for subsystems of numerical transition systems.


Method Summary
 java.util.List<IControlState> controlStates()
           
 IExpr instances()
           
 java.util.List<IControlState> marksError()
           
 java.util.List<IControlState> marksFinal()
           
 java.util.List<IControlState> marksInit()
           
 java.lang.String name()
           
 java.util.List<ITransition> transitions()
           
 java.util.List<IVarTableEntry> varIn()
           
 java.util.List<IVarTableEntry> varOut()
           
 
Methods inherited from interface nts.interf.base.IScope
varTable
 
Methods inherited from interface nts.interf.base.IAnnotated
annotations, isAnnotated
 
Methods inherited from interface nts.interf.base.IVisitable
accept
 

Method Detail

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