#include <lattice.h>

Inheritance diagram for FiniteLattice:

Collaboration diagram for FiniteLattice:

Public Member Functions
bool	finiteLattice ()
	Check if this lattice is finite or not. More...

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

Detailed Description

Definition at line 122 of file lattice.h.

Member Function Documentation

bool FiniteLattice::finiteLattice ( )

inlinevirtual

Check if this lattice is finite or not.

Implements Lattice.

Definition at line 125 of file lattice.h.

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