Description

Definition at line 129 of file lattice.h.

Inheritance diagram for InfiniteLattice:

[legend]

Collaboration diagram for InfiniteLattice:

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

virtual bool	widenUpdate (InfiniteLattice *that)=0

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 > &, const Function &)

virtual void	incorporateVars (Lattice *)

virtual Lattice *	project (SgExpression *)

virtual bool	unProject (SgExpression , 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 std::string	str (std::string indent="")=0

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.

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