|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |