Lattice Class Reference

Description

Definition at line 12 of file lattice.h.

Inheritance diagram for Lattice:

Collaboration diagram for Lattice:

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 > &, const Function &)
virtual void	incorporateVars (Lattice *)
virtual Lattice *	project (SgExpression *)
virtual bool	unProject (SgExpression *, 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

Member Function Documentation

initialize()

virtual void Lattice::initialize ( )

pure virtual

Implemented in TaintLattice.

copy() [1/2]

virtual Lattice * Lattice::copy ( ) const

pure virtual

Implemented in TaintLattice.

copy() [2/2]

virtual void Lattice::copy ( Lattice *  that )

pure virtual

Implemented in TaintLattice.

remapVars()

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

inlinevirtual

Reimplemented in VarsExprsProductLattice.

Definition at line 38 of file lattice.h.

incorporateVars()

virtual void Lattice::incorporateVars ( Lattice *  )

inlinevirtual

Definition at line 47 of file lattice.h.

project()

virtual Lattice * Lattice::project ( SgExpression *  )

inlinevirtual

Definition at line 70 of file lattice.h.

unProject()

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

inlinevirtual

Definition at line 87 of file lattice.h.

meetUpdate()

virtual bool Lattice::meetUpdate ( Lattice *  that )

pure virtual

Implemented in TaintLattice.

finiteLattice()

virtual bool Lattice::finiteLattice ( )

pure virtual

Check if this lattice is finite or not.

Implemented in FiniteLattice, and InfiniteLattice.

operator==() [1/2]

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

pure virtual

Implemented in TaintLattice.

operator!=() [1/2]

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

inline

Definition at line 98 of file lattice.h.

operator==() [2/2]

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

inline

Definition at line 101 of file lattice.h.

operator!=() [2/2]

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:

• lattice.h