ROSE 0.11.145.192
Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | Static Protected Attributes | List of all members
VariablesProductLattice Class Reference

Description

Definition at line 260 of file latticeFull.h.

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

Public Member Functions

 VariablesProductLattice (bool includeScalars, bool includeArrays, Lattice *perVarLattice, const std::map< varID, Lattice * > &constVarLattices, Lattice *allVarLattice, const Function &func, const DataflowNode &n, const NodeState &state)
 
 VariablesProductLattice (const VariablesProductLattice &that)
 
LatticegetVarLattice (const Function &func, const varID &var)
 
varIDSet & getGlobalVars () const
 
varIDSet & getLocalVars (Function func) const
 
varIDSet & getRefVars (Function func) const
 
varIDSet getVisibleVars (Function func) const
 
void copy (Lattice *that)
 
void remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc)
 
void incorporateVars (Lattice *that)
 
std::string str (std::string indent="")
 
- Public Member Functions inherited from ProductLattice
 ProductLattice (const std::vector< Lattice * > &lattices)
 
void init (const std::vector< Lattice * > &lattices)
 
void initialize ()
 
const std::vector< Lattice * > & getLattices ()
 
void copy_lattices (std::vector< Lattice * > &newLattices) const
 
virtual bool meetUpdate (Lattice *that)
 
virtual bool operator== (Lattice *that)
 
int getLevel ()
 
- Public Member Functions inherited from Lattice
virtual Latticecopy () const =0
 
virtual Latticeproject (SgExpression *)
 
virtual bool unProject (SgExpression *, Lattice *exprState)
 
virtual bool finiteLattice ()=0
 Check if this lattice is finite or not.
 
bool operator!= (Lattice *that)
 
bool operator== (Lattice &that)
 
bool operator!= (Lattice &that)
 

Static Public Member Functions

static varIDSet & getGlobalVars (bool includeScalars, bool includeArrays)
 

Protected Member Functions

void setUpVarLatticeIndex ()
 
int getVarIndex (const Function &func, const varID &var)
 

Protected Attributes

bool includeScalars
 
bool includeArrays
 
Function func
 
std::map< varID, Lattice * > constVarLattices
 
LatticeallVarLattice
 
LatticeperVarLattice
 
- Protected Attributes inherited from ProductLattice
std::vector< Lattice * > lattices
 

Static Protected Attributes

static std::map< Function, std::map< varID, int > > varLatticeIndex
 

Additional Inherited Members

- Public Attributes inherited from ProductLattice
short level
 
- Static Public Attributes inherited from ProductLattice
static const int uninitialized =0
 
static const int initialized =1
 

Member Function Documentation

◆ copy()

void VariablesProductLattice::copy ( Lattice that)
virtual

Reimplemented from ProductLattice.

◆ remapVars()

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

Reimplemented from Lattice.

◆ incorporateVars()

void VariablesProductLattice::incorporateVars ( Lattice that)
virtual

Reimplemented from Lattice.

◆ str()

std::string VariablesProductLattice::str ( std::string  indent = "")
virtual

Reimplemented from ProductLattice.

Member Data Documentation

◆ includeScalars

bool VariablesProductLattice::includeScalars
protected

Definition at line 264 of file latticeFull.h.

◆ includeArrays

bool VariablesProductLattice::includeArrays
protected

Definition at line 266 of file latticeFull.h.

◆ func

Function VariablesProductLattice::func
protected

Definition at line 268 of file latticeFull.h.

◆ constVarLattices

std::map<varID, Lattice*> VariablesProductLattice::constVarLattices
protected

Definition at line 270 of file latticeFull.h.

◆ allVarLattice

Lattice* VariablesProductLattice::allVarLattice
protected

Definition at line 272 of file latticeFull.h.

◆ perVarLattice

Lattice* VariablesProductLattice::perVarLattice
protected

Definition at line 275 of file latticeFull.h.

◆ varLatticeIndex

std::map<Function, std::map<varID, int> > VariablesProductLattice::varLatticeIndex
staticprotected

Definition at line 279 of file latticeFull.h.


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