Uses of Interface
nts.interf.base.ILabel

Packages that use ILabel
nts.interf   
nts.interf.base   
nts.interf.expr   
 

Uses of ILabel in nts.interf
 

Subinterfaces of ILabel in nts.interf
 interface ICall
          Procedure call interface.
 

Methods in nts.interf that return ILabel
 ILabel ITransition.label()
           
 

Uses of ILabel in nts.interf.base
 

Subinterfaces of ILabel in nts.interf.base
 interface IAccess
          Base interface for IAccessBasic, IAccessIndexed, and IAccessMulti interfaces.
 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.
 

Uses of ILabel in nts.interf.expr
 

Subinterfaces of ILabel 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.