ROSE  0.9.6a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
InfiniteLattice Class Referenceabstract

#include <lattice.h>

Inheritance diagram for InfiniteLattice:
Collaboration diagram for InfiniteLattice:

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 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 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
 

Detailed Description

Definition at line 129 of file lattice.h.

Member Function Documentation

bool InfiniteLattice::finiteLattice ( )
inlinevirtual

Check if this lattice is finite or not.

Implements Lattice.

Definition at line 132 of file lattice.h.

virtual bool InfiniteLattice::widenUpdate ( InfiniteLattice that)
pure virtual

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