Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
V