nts.interf
Interface INTS

All Superinterfaces:
IAnnotated, IScope, IVisitable

public interface INTS
extends IScope, IAnnotated, IVisitable

Interface for numerical transition systems (NTS).


Method Summary
 java.util.Map<java.lang.String,IExpr> instances()
           
 java.lang.String name()
          Name of the NTS.
 IExpr precondition()
          Initial condition (pre-condition) of the NTS.
 java.util.List<ISubsystem> subsystems()
           
 
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()
Name of the NTS.


precondition

IExpr precondition()
Initial condition (pre-condition) of the NTS. Returns 'true' expression if precondition is unspecified.


subsystems

java.util.List<ISubsystem> subsystems()
Returns:
list of subsystems

instances

java.util.Map<java.lang.String,IExpr> instances()
Returns:
map from subsystem names to number of instances