Uses of Package
nts.interf.expr

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

Classes in nts.interf.expr used by nts.interf
IAccessBasic
          A basic access to a variable -- an access without indexing.
IHavoc
          A havoc expression havoc(x1, x2, ..., xn) whose semantics is that all variables in the scope, except for {x1, x2, ..., xn}, are copied.
 

Classes in nts.interf.expr used by nts.interf.base
IAccessBasic
          A basic access to a variable -- an access without indexing.
IAccessIndexed
          An indexed access -- an accesses of the form a[i1]..[im], where m>0 and a is an array variable.
IAccessMulti
          Array Assignments.
IExprAnd
           
IExprArraySize
          Array-size operator.
IExprDivide
           
IExprEq
           
IExprEquiv
           
IExprExists
           
IExprForall
           
IExprGeq
           
IExprGt
           
IExprImpl
           
IExprLeq
           
IExprList
          Expression list of the form [e1,..,en] used in multiple array assignments.
IExprLt
           
IExprMinus
           
IExprMult
           
IExprNeq
           
IExprNot
           
IExprOr
           
IExprPlus
           
IExprRemainder
           
IExprUnaryMinus
           
IHavoc
          A havoc expression havoc(x1, x2, ..., xn) whose semantics is that all variables in the scope, except for {x1, x2, ..., xn}, are copied.
ILitBool
          A boolean literal.
ILitInt
          A non-negative integer literal.
ILitReal
          A non-negative real-type literals.
 

Classes in nts.interf.expr used by nts.interf.expr
IAccessBasic
          A basic access to a variable -- an access without indexing.