Uses of Interface
nts.interf.base.IExpr

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

Uses of IExpr in nts.interf
 

Methods in nts.interf that return IExpr
 IExpr ISubsystem.instances()
           
 IExpr INTS.precondition()
          Initial condition (pre-condition) of the NTS.
 

Methods in nts.interf that return types with arguments of type IExpr
 java.util.List<IExpr> ICall.actualParameters()
           
 java.util.Map<java.lang.String,IExpr> INTS.instances()
           
 

Uses of IExpr in nts.interf.base
 

Subinterfaces of IExpr in nts.interf.base
 interface IAccess
          Base interface for IAccessBasic, IAccessIndexed, and IAccessMulti interfaces.
 interface IExprBin
          Base interface for binary expressions.
 interface IExprQ
          Base interface for quantifier expressions.
 interface IExprUn
          Base interface for unary expressions.
 

Methods in nts.interf.base that return IExpr
 IExpr IAnnotations.getFormula(java.lang.String key)
           
 IExpr IExprQ.operand()
           
 IExpr IExprUn.operand()
           
 IExpr IExprBin.operand1()
           
 IExpr IExprBin.operand2()
           
 

Methods in nts.interf.base that return types with arguments of type IExpr
 java.util.List<IExpr> IVarTableEntry.size()
           
 

Uses of IExpr in nts.interf.expr
 

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

Methods in nts.interf.expr that return types with arguments of type IExpr
 java.util.List<IExpr> IExprList.expressions()
           
 java.util.List<IExpr> IAccessIndexed.indices()
           
 java.util.List<IExpr> IAccessMulti.multiInxs()
           
 java.util.List<IExpr> IAccessMulti.singleInxs()