Description
Definition at line 22 of file sgnAnalysis.h.
Inheritance diagram for SgnLattice:
Collaboration diagram for SgnLattice:
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 () |
| Lattice * | copy () 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 > &, const Function &) |
| virtual void | incorporateVars (Lattice *) |
| virtual Lattice * | project (SgExpression *) |
| virtual bool | unProject (SgExpression *, Lattice *exprState) |
| bool | operator!= (Lattice *that) |
| bool | operator== (Lattice &that) |
| bool | operator!= (Lattice &that) |
Member Enumeration Documentation
◆ sgnLevels
| enum SgnLattice::sgnLevels |
Definition at line 27 of file sgnAnalysis.h.
◆ sgnStates
| enum SgnLattice::sgnStates |
Definition at line 40 of file sgnAnalysis.h.
Constructor & Destructor Documentation
◆ SgnLattice() [1/3]
|
inline |
Definition at line 58 of file sgnAnalysis.h.
◆ SgnLattice() [2/3]
|
inline |
Definition at line 64 of file sgnAnalysis.h.
◆ SgnLattice() [3/3]
|
inline |
Definition at line 70 of file sgnAnalysis.h.
Member Function Documentation
◆ initialize()
|
inlinevirtual |
Implements Lattice.
Definition at line 82 of file sgnAnalysis.h.
◆ copy() [1/2]
◆ copy() [2/2]
◆ meetUpdate()
◆ operator==()
◆ str()
|
virtual |
Implements printable.
The documentation for this class was generated from the following file:
