ROSE  0.9.10.89
Classes | Public Types | Public Member Functions | Public Attributes | Protected Member Functions | Static Protected Member Functions | List of all members
IntArithLogical Class Reference

Description

Definition at line 19 of file intArithLogical.h.

Inheritance diagram for IntArithLogical:
Inheritance graph
[legend]
Collaboration diagram for IntArithLogical:
Collaboration graph
[legend]

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)
 
Latticecopy () 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)
 
LogicalCondcopy ()
 
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 Latticeproject (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
 
logicNodeexpr
 

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: