Uses of Interface
nts.interf.base.IVisitable

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.