Description
Definition at line 22 of file intArithLogical.h.
Inheritance diagram for IntArithLogical:
Collaboration diagram for IntArithLogical:
Classes | |
| class | exprLeaf |
| class | exprLeafOrNode |
| class | logicNode |
Public Types | |
| enum | infContent { uninitialized, bottom, known } |
| enum | cmpOps { eq =SpearOp::Equal, le =SpearOp::SgnLTE } |
| enum | logOps { andOp =SpearOp::AndOp, orOp =SpearOp::OrOp, notOp =SpearOp::NotOp } |
Public Member Functions | |
| IntArithLogical (bool value) | |
| IntArithLogical (cmpOps cmp, int a, varID x, int b, varID y, int c) | |
| IntArithLogical (const IntArithLogical &that) | |
| void | initialize () |
| void | initialize (bool value) |
| Lattice * | copy () const |
| void | copy (Lattice *that) |
| bool | meetUpdate (Lattice *that) |
| bool | operator== (Lattice *that) |
| std::string | str (std::string indent="") |
| bool | notUpd () |
| bool | andUpd (LogicalCond &that) |
| bool | orUpd (LogicalCond &that) |
| bool | setToTrue () |
| bool | setToFalse () |
| bool | removeVar (varID var) |
| LogicalCond * | copy () |
| bool | isImplied (cmpOps cmp, int a, varID x, int b, varID y, int c) |
| bool | mayTrue () |
| bool | mayConsistent (cmpOps cmp, int a, varID x, int b, varID y, int c) |
| bool | assign (int a, varID x, int b, varID y, int c) |
 Public Member Functions inherited from FiniteLattice | |
| bool | finiteLattice () |
| Check if this lattice is finite or not. | |
| Public Member Functions inherited from Lattice | |
| virtual void | remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc) |
| virtual void | incorporateVars (Lattice *that) |
| virtual Lattice * | project (SgExpression *expr) |
| virtual bool | unProject (SgExpression *expr, Lattice *exprState) |
| bool | operator!= (Lattice *that) |
| bool | operator== (Lattice &that) |
| bool | operator!= (Lattice &that) |
| Public Member Functions inherited from LogicalCond | |
| bool | mustFalse () |
Public Attributes | |
| infContent | level |
| logicNode * | expr |
Protected Member Functions | |
| SpearVar | outputSpearExpr (exprLeaf *otherExpr, std::ofstream &os, bool createProposition) |
Static Protected Member Functions | |
| static bool | runSpear (std::string inputFile) |
The documentation for this class was generated from the following file:
