ROSE
0.9.6a
|
#include <lattice.h>
Public Member Functions | |
bool | finiteLattice () |
Check if this lattice is finite or not. More... | |
virtual bool | widenUpdate (InfiniteLattice *that)=0 |
Public Member Functions inherited from Lattice | |
virtual void | initialize ()=0 |
virtual Lattice * | copy () const =0 |
virtual void | copy (Lattice *that)=0 |
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) |
virtual bool | meetUpdate (Lattice *that)=0 |
virtual bool | operator== (Lattice *that)=0 |
bool | operator!= (Lattice *that) |
bool | operator== (Lattice &that) |
bool | operator!= (Lattice &that) |
Public Member Functions inherited from printable | |
virtual | ~printable () |
virtual std::string | str (std::string indent="")=0 |
|
inlinevirtual |
|
pure virtual |
Implemented in ConstrGraph, InfiniteProductLattice, and IntMaxLattice.