|
ROSE
0.11.96.11
|
This is the complete list of members for IntArithLogical, including all inherited members.
| andOp enum value (defined in IntArithLogical) | IntArithLogical | |
| andUpd(LogicalCond &that) (defined in IntArithLogical) | IntArithLogical | virtual |
| assign(int a, varID x, int b, varID y, int c) (defined in IntArithLogical) | IntArithLogical | |
| bottom enum value (defined in IntArithLogical) | IntArithLogical | |
| cmpOps enum name (defined in IntArithLogical) | IntArithLogical | |
| copy() const (defined in IntArithLogical) | IntArithLogical | virtual |
| copy(Lattice *that) (defined in IntArithLogical) | IntArithLogical | virtual |
| copy() (defined in IntArithLogical) | IntArithLogical | virtual |
| eq enum value (defined in IntArithLogical) | IntArithLogical | |
| expr (defined in IntArithLogical) | IntArithLogical | |
| finiteLattice() | FiniteLattice | inlinevirtual |
| incorporateVars(Lattice *that) (defined in Lattice) | Lattice | inlinevirtual |
| infContent enum name (defined in IntArithLogical) | IntArithLogical | |
| initialize() (defined in IntArithLogical) | IntArithLogical | virtual |
| initialize(bool value) (defined in IntArithLogical) | IntArithLogical | |
| IntArithLogical() (defined in IntArithLogical) | IntArithLogical | |
| IntArithLogical(bool value) (defined in IntArithLogical) | IntArithLogical | |
| IntArithLogical(cmpOps cmp, int a, varID x, int b, varID y, int c) (defined in IntArithLogical) | IntArithLogical | |
| IntArithLogical(const IntArithLogical &that) (defined in IntArithLogical) | IntArithLogical | |
| isImplied(cmpOps cmp, int a, varID x, int b, varID y, int c) (defined in IntArithLogical) | IntArithLogical | |
| known enum value (defined in IntArithLogical) | IntArithLogical | |
| le enum value (defined in IntArithLogical) | IntArithLogical | |
| level (defined in IntArithLogical) | IntArithLogical | |
| logOps enum name (defined in IntArithLogical) | IntArithLogical | |
| mayConsistent(cmpOps cmp, int a, varID x, int b, varID y, int c) (defined in IntArithLogical) | IntArithLogical | |
| mayTrue() (defined in IntArithLogical) | IntArithLogical | virtual |
| meetUpdate(Lattice *that) (defined in IntArithLogical) | IntArithLogical | virtual |
| mustFalse() (defined in LogicalCond) | LogicalCond | inline |
| notOp enum value (defined in IntArithLogical) | IntArithLogical | |
| notUpd() (defined in IntArithLogical) | IntArithLogical | |
| operator!=(Lattice *that) (defined in Lattice) | Lattice | inline |
| operator!=(Lattice &that) (defined in Lattice) | Lattice | inline |
| operator==(Lattice *that) (defined in IntArithLogical) | IntArithLogical | virtual |
| operator==(Lattice &that) (defined in Lattice) | Lattice | inline |
| orOp enum value (defined in IntArithLogical) | IntArithLogical | |
| orUpd(LogicalCond &that) (defined in IntArithLogical) | IntArithLogical | virtual |
| outputSpearExpr(exprLeaf *otherExpr, std::ofstream &os, bool createProposition) (defined in IntArithLogical) | IntArithLogical | protected |
| project(SgExpression *expr) (defined in Lattice) | Lattice | inlinevirtual |
| remapVars(const std::map< varID, varID > &varNameMap, const Function &newFunc) (defined in Lattice) | Lattice | inlinevirtual |
| removeVar(varID var) (defined in IntArithLogical) | IntArithLogical | |
| runSpear(std::string inputFile) (defined in IntArithLogical) | IntArithLogical | protectedstatic |
| setToFalse() (defined in IntArithLogical) | IntArithLogical | |
| setToTrue() (defined in IntArithLogical) | IntArithLogical | |
| str(std::string indent="") (defined in IntArithLogical) | IntArithLogical | virtual |
| uninitialized enum value (defined in IntArithLogical) | IntArithLogical | |
| unProject(SgExpression *expr, Lattice *exprState) (defined in Lattice) | Lattice | inlinevirtual |
| ~LogicalCond() (defined in LogicalCond) | LogicalCond | inlinevirtual |
| ~printable() (defined in printable) | printable | inlinevirtual |
1.8.17