|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IVisitable | |
---|---|
nts.interf | |
nts.interf.base | |
nts.interf.expr |
Uses of IVisitable in nts.interf |
---|
Subinterfaces of IVisitable in nts.interf | |
---|---|
interface |
ICall
Procedure call interface. |
interface |
IControlState
Interface for control states of a subsystem. |
interface |
INTS
Interface for numerical transition systems (NTS). |
interface |
ISubsystem
Interface for subsystems of numerical transition systems. |
interface |
ITransition
Interface for transitions of a subsystem. |
Uses of IVisitable in nts.interf.base |
---|
Subinterfaces of IVisitable in nts.interf.base | |
---|---|
interface |
IAccess
Base interface for IAccessBasic , IAccessIndexed , and IAccessMulti interfaces. |
interface |
IAnnotations
Annotations of syntactical elements that can be annotated -- elements that are instances of classes implementing IAnnotated interface. |
interface |
IExpr
The base interface for expressions. |
interface |
IExprBin
Base interface for binary expressions. |
interface |
IExprQ
Base interface for quantifier expressions. |
interface |
IExprUn
Base interface for unary expressions. |
interface |
ILabel
The base interface for transition labels. |
interface |
IType
Interface for a type. |
interface |
IVarTable
A hierarchical variable table. |
interface |
IVarTableEntry
An entry of a variable table. |
Uses of IVisitable in nts.interf.expr |
---|
Subinterfaces of IVisitable in nts.interf.expr | |
---|---|
interface |
IAccessBasic
A basic access to a variable -- an access without indexing. |
interface |
IAccessIndexed
An indexed access -- an accesses of the form a[i1]..[im], where m>0 and a is an array variable. |
interface |
IAccessMulti
Array Assignments. |
interface |
IExprAnd
|
interface |
IExprArraySize
Array-size operator. |
interface |
IExprDivide
|
interface |
IExprEq
|
interface |
IExprEquiv
|
interface |
IExprExists
|
interface |
IExprForall
|
interface |
IExprGeq
|
interface |
IExprGt
|
interface |
IExprImpl
|
interface |
IExprLeq
|
interface |
IExprList
Expression list of the form [e1,..,en] used in multiple array assignments. |
interface |
IExprLt
|
interface |
IExprMinus
|
interface |
IExprMult
|
interface |
IExprNeq
|
interface |
IExprNot
|
interface |
IExprOr
|
interface |
IExprPlus
|
interface |
IExprRemainder
|
interface |
IExprUnaryMinus
|
interface |
IHavoc
A havoc expression havoc(x1, x2, ..., xn) whose semantics is that all variables in the scope, except for {x1, x2, ..., xn}, are copied. |
interface |
ILitBool
A boolean literal. |
interface |
ILitReal
A non-negative real-type literals. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |