ROSE  0.9.6a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
Public Member Functions | List of all members
Lattice Class Referenceabstract

#include <lattice.h>

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

Public Member Functions

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 finiteLattice ()=0
 Check if this lattice is finite or not. More...
 
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 9 of file lattice.h.

Member Function Documentation

virtual void Lattice::initialize ( )
pure virtual

Implemented in IntArithLogical, ConstrGraph, ProductLattice, IntMaxLattice, SeqStructLattice, DivLattice, SgnLattice, TaintLattice, nodeConstLattice, BoolAndLattice, LiveVarsLattice, and DominatorLattice.

virtual Lattice* Lattice::copy ( ) const
pure virtual

Implemented in InfiniteVariablesProductLattice, FiniteVariablesProductLattice, InfiniteVarsExprsProductLattice, IntArithLogical, FiniteVarsExprsProductLattice, InfiniteProductLattice, ConstrGraph, FiniteProductLattice, IntMaxLattice, SeqStructLattice, SgnLattice, TaintLattice, DivLattice, nodeConstLattice, BoolAndLattice, LiveVarsLattice, and DominatorLattice.

Referenced by project().

virtual void Lattice::copy ( Lattice *  that)
pure virtual

Implemented in IntArithLogical, VariablesProductLattice, VarsExprsProductLattice, ConstrGraph, ProductLattice, IntMaxLattice, TaintLattice, SeqStructLattice, SgnLattice, DivLattice, nodeConstLattice, BoolAndLattice, LiveVarsLattice, and DominatorLattice.

virtual void Lattice::remapVars ( const std::map< varID, varID > &  varNameMap,
const Function &  newFunc 
)
inlinevirtual

Reimplemented in ConstrGraph, VariablesProductLattice, VarsExprsProductLattice, and LiveVarsLattice.

Definition at line 35 of file lattice.h.

virtual void Lattice::incorporateVars ( Lattice *  that)
inlinevirtual

Reimplemented in ConstrGraph, VariablesProductLattice, VarsExprsProductLattice, SeqStructLattice, DominatorLattice, and LiveVarsLattice.

Definition at line 44 of file lattice.h.

virtual Lattice* Lattice::project ( SgExpression *  expr)
inlinevirtual

Reimplemented in ConstrGraph, VarsExprsProductLattice, SeqStructLattice, DominatorLattice, and LiveVarsLattice.

Definition at line 67 of file lattice.h.

References copy().

virtual bool Lattice::unProject ( SgExpression *  expr,
Lattice *  exprState 
)
inlinevirtual

Reimplemented in ConstrGraph, VarsExprsProductLattice, SeqStructLattice, DominatorLattice, and LiveVarsLattice.

Definition at line 84 of file lattice.h.

References meetUpdate().

virtual bool Lattice::meetUpdate ( Lattice *  that)
pure virtual

Implemented in ConstrGraph, IntArithLogical, VarsExprsProductLattice, ProductLattice, SeqStructLattice, TaintLattice, IntMaxLattice, DivLattice, SgnLattice, nodeConstLattice, DominatorLattice, LiveVarsLattice, and BoolAndLattice.

Referenced by unProject().

virtual bool Lattice::finiteLattice ( )
pure virtual

Check if this lattice is finite or not.

Implemented in InfiniteLattice, and FiniteLattice.

virtual bool Lattice::operator== ( Lattice *  that)
pure virtual

Implemented in ConstrGraph, IntArithLogical, ProductLattice, SeqStructLattice, IntMaxLattice, DivLattice, TaintLattice, SgnLattice, nodeConstLattice, DominatorLattice, LiveVarsLattice, and BoolAndLattice.

bool Lattice::operator!= ( Lattice *  that)
inline

Definition at line 98 of file lattice.h.

bool Lattice::operator== ( Lattice &  that)
inline

Definition at line 101 of file lattice.h.

bool Lattice::operator!= ( Lattice &  that)
inline

Definition at line 104 of file lattice.h.

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