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

Description

Definition at line 22 of file sgnAnalysis.h.

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

Public Types

enum  sgnLevels {
  uninitialized,
  bottom,
  eqZero,
  sgnKnown,
  top
}
 
enum  sgnStates {
  unknown,
  posZero,
  negZero
}
 

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: