BoolAndLattice Class Reference

Description

Definition at line 19 of file latticeFull.h.

Inheritance diagram for BoolAndLattice:

Collaboration diagram for BoolAndLattice:

Public Member Functions
	BoolAndLattice (bool state)
void	initialize ()
Lattice *	copy () const
void	copy (Lattice *that)
bool	meetUpdate (Lattice *that)
bool	operator== (Lattice *that)
bool	get () const
bool	set (bool state)
bool	andUpd (bool state)
std::string	str (std::string indent="")
Public Member Functions inherited from FiniteLattice
bool	finiteLattice ()
	Check if this lattice is finite or not.
Public Member Functions inherited from Lattice
virtual void	remapVars (const std::map< varID, varID > &, const Function &)
virtual void	incorporateVars (Lattice *)
virtual Lattice *	project (SgExpression *)
virtual bool	unProject (SgExpression *, Lattice *exprState)
bool	operator!= (Lattice *that)
bool	operator== (Lattice &that)
bool	operator!= (Lattice &that)

Constructor & Destructor Documentation

BoolAndLattice() [1/2]

BoolAndLattice::BoolAndLattice ( )

inline

Definition at line 28 of file latticeFull.h.

BoolAndLattice() [2/2]

BoolAndLattice::BoolAndLattice ( bool  state )

inline

Definition at line 36 of file latticeFull.h.

Member Function Documentation

initialize()

void BoolAndLattice::initialize ( )

inlinevirtual

Implements Lattice.

Definition at line 40 of file latticeFull.h.

copy() [1/2]

Lattice * BoolAndLattice::copy ( ) const

virtual

Implements Lattice.

copy() [2/2]

void BoolAndLattice::copy ( Lattice *  that )

virtual

Implements Lattice.

meetUpdate()

bool BoolAndLattice::meetUpdate ( Lattice *  that )

virtual

Implements Lattice.

operator==()

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

virtual

Implements Lattice.

str()

std::string BoolAndLattice::str ( std::string  indent = "" )

virtual

Implements printable.

---

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

• latticeFull.h