Package nts.interf.expr

Interface Summary
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.