Public Types | Public Member Functions | List of all members
SgnLattice Class Reference


Definition at line 19 of file sgnAnalysis.h.

Inheritance diagram for SgnLattice:
Inheritance graph
Collaboration diagram for SgnLattice:
Collaboration graph

Public Types

enum  sgnLevels {
enum  sgnStates {

Public Member Functions

 SgnLattice (const SgnLattice &that)
 SgnLattice (long val)
void initialize ()
Latticecopy () const
void copy (Lattice *that)
bool copyMod (Lattice *that_arg)
bool meetUpdate (Lattice *that)
bool operator== (Lattice *that)
sgnStates getSgnState () const
sgnLevels getLevel () const
bool setBot ()
bool setEqZero ()
bool setSgnKnown (sgnStates sgnState)
bool set (int val)
bool setTop ()
bool plus (long increment)
bool plus (const SgnLattice &that)
bool minus (long increment)
bool minus (const SgnLattice &that)
bool negate ()
bool multdiv (long multiplier)
bool multdiv (const SgnLattice &that)
bool complexOp (const SgnLattice &that)
string str (string indent="")
- 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)

The documentation for this class was generated from the following file: