Public Member Functions | List of all members
Lattice Class Referenceabstract


Definition at line 12 of file lattice.h.

Inheritance diagram for Lattice:
Inheritance graph
Collaboration diagram for Lattice:
Collaboration graph

Public Member Functions

virtual void initialize ()=0
virtual Latticecopy () 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 Latticeproject (SgExpression *expr)
virtual bool unProject (SgExpression *expr, Lattice *exprState)
virtual bool meetUpdate (Lattice *that)=0
virtual bool finiteLattice ()=0
 Check if this lattice is finite or not.
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 std::string str (std::string indent="")=0

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