nts.interf
Interface INTS
- All Superinterfaces:
- IAnnotated, IScope, IVisitable
public interface INTS
- extends IScope, IAnnotated, IVisitable
Interface for numerical transition systems (NTS).
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