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