A B C D E F G H I K L M N O P R S T V

I

IAccess - Interface in nts.interf.base
Base interface for IAccessBasic, IAccessIndexed, and IAccessMulti interfaces.
IAccessBasic - Interface in nts.interf.expr
A basic access to a variable -- an access without indexing.
IAccessIndexed - Interface in nts.interf.expr
An indexed access -- an accesses of the form a[i1]..[im], where m>0 and a is an array variable.
IAccessMulti - Interface in nts.interf.expr
Array Assignments.
IAnnotated - Interface in nts.interf.base
Syntactical elements that can be annotated implement this interface.
IAnnotations - Interface in nts.interf.base
Annotations of syntactical elements that can be annotated -- elements that are instances of classes implementing IAnnotated interface.
ICall - Interface in nts.interf
Procedure call interface.
IControlState - Interface in nts.interf
Interface for control states of a subsystem.
id() - Method in interface nts.interf.ITransition
 
IExpr - Interface in nts.interf.base
The base interface for expressions.
IExprAnd - Interface in nts.interf.expr
 
IExprArraySize - Interface in nts.interf.expr
Array-size operator.
IExprBin - Interface in nts.interf.base
Base interface for binary expressions.
IExprDivide - Interface in nts.interf.expr
 
IExprEq - Interface in nts.interf.expr
 
IExprEquiv - Interface in nts.interf.expr
 
IExprExists - Interface in nts.interf.expr
 
IExprForall - Interface in nts.interf.expr
 
IExprGeq - Interface in nts.interf.expr
 
IExprGt - Interface in nts.interf.expr
 
IExprImpl - Interface in nts.interf.expr
 
IExprLeq - Interface in nts.interf.expr
 
IExprList - Interface in nts.interf.expr
Expression list of the form [e1,..,en] used in multiple array assignments.
IExprLt - Interface in nts.interf.expr
 
IExprMinus - Interface in nts.interf.expr
 
IExprMult - Interface in nts.interf.expr
 
IExprNeq - Interface in nts.interf.expr
 
IExprNot - Interface in nts.interf.expr
 
IExprOr - Interface in nts.interf.expr
 
IExprPlus - Interface in nts.interf.expr
 
IExprQ - Interface in nts.interf.base
Base interface for quantifier expressions.
IExprRemainder - Interface in nts.interf.expr
 
IExprUn - Interface in nts.interf.base
Base interface for unary expressions.
IExprUnaryMinus - Interface in nts.interf.expr
 
IHavoc - Interface in nts.interf.expr
A havoc expression havoc(x1, x2, ..., xn) whose semantics is that all variables in the scope, except for {x1, x2, ..., xn}, are copied.
ILabel - Interface in nts.interf.base
The base interface for transition labels.
ILitBool - Interface in nts.interf.expr
A boolean literal.
ILitInt - Interface in nts.interf.expr
A non-negative integer literal.
ILitReal - Interface in nts.interf.expr
A non-negative real-type literals.
indices() - Method in interface nts.interf.expr.IAccessIndexed
 
innermost() - Method in interface nts.interf.base.IVarTable
 
innermostUnprimed() - Method in interface nts.interf.base.IVarTable
 
instances() - Method in interface nts.interf.INTS
 
instances() - Method in interface nts.interf.ISubsystem
 
INTS - Interface in nts.interf
Interface for numerical transition systems (NTS).
isAnnotated() - Method in interface nts.interf.base.IAnnotated
 
isArray() - Method in interface nts.interf.base.IType
 
isArrayOfBasic() - Method in interface nts.interf.base.IType
 
isArrayOfRef() - Method in interface nts.interf.base.IType
 
isBool() - Method in enum nts.interf.base.EBasicType
 
IScope - Interface in nts.interf.base
Base interface for elements that have a variable table.
isGlobal() - Method in interface nts.interf.base.IVarTableEntry
 
isInt() - Method in enum nts.interf.base.EBasicType
 
isLocal() - Method in interface nts.interf.base.IVarTableEntry
 
isLogical() - Method in interface nts.interf.base.IVarTableEntry
 
isNumeric() - Method in enum nts.interf.base.EBasicType
 
isPrimed() - Method in interface nts.interf.base.IVarTableEntry
 
isReal() - Method in enum nts.interf.base.EBasicType
 
isRefToArray() - Method in interface nts.interf.base.IType
 
isScalar() - Method in interface nts.interf.base.IType
 
ISubsystem - Interface in nts.interf
Interface for subsystems of numerical transition systems.
ITransition - Interface in nts.interf
Interface for transitions of a subsystem.
IType - Interface in nts.interf.base
Interface for a type.
IVarTable - Interface in nts.interf.base
A hierarchical variable table.
IVarTableEntry - Interface in nts.interf.base
An entry of a variable table.
IVisitable - Interface in nts.interf.base
Visitable syntactical elements.
IVisitor - Interface in nts.interf.base
The visitor is responsible for determining the order of traversal.

A B C D E F G H I K L M N O P R S T V