30 { this->state = state; }
34 { this->state = state; }
64 bool andUpd(
bool state);
75 std::string str(std::string indent=
"");
83 static const int infinity;
109 bool meetUpdate(
Lattice* that);
114 bool operator==(
Lattice* that);
129 bool incr(
int increment);
134 bool maximum(
int value);
145 std::string str(std::string indent=
"");
157 static const int uninitialized=0;
158 static const int initialized=1;
163 std::vector<Lattice*> lattices;
170 void init(
const std::vector<Lattice*>& lattices);
175 const std::vector<Lattice*>& getLattices();
178 void copy_lattices(std::vector<Lattice*>& newLattices)
const;
181 virtual void copy(
Lattice* that);
185 virtual bool meetUpdate(
Lattice* that);
187 virtual bool operator==(
Lattice* that);
189 int getLevel() {
return level; }
203 virtual std::string str(std::string indent=
"");
224 for(std::vector<Lattice*>::iterator it = lattices.begin(); it!=lattices.end(); it++)
225 ROSE_ASSERT((*it)->finiteLattice());
269 std::map<varID, Lattice*> constVarLattices;
278 static std::map<Function, std::map<varID, int> > varLatticeIndex;
296 const std::map<varID, Lattice*>& constVarLattices,
Lattice* allVarLattice,
308 void setUpVarLatticeIndex();
317 varIDSet& getGlobalVars()
const;
318 static varIDSet& getGlobalVars(
bool includeScalars,
bool includeArrays);
321 varIDSet& getLocalVars(
Function func)
const;
324 varIDSet& getRefVars(
Function func)
const;
327 varIDSet getVisibleVars(
Function func)
const;
344 void remapVars(
const std::map<varID, varID>& varNameMap,
const Function& newFunc);
351 void incorporateVars(
Lattice* that);
364 std::string str(std::string indent=
"");
383 Lattice* perVarLattice,
const std::map<varID, Lattice*>& constVarLattices,
Lattice* allVarLattice,
385 VariablesProductLattice(includeScalars, includeArrays, perVarLattice, constVarLattices, allVarLattice, func, n, state),
420 Lattice* perVarLattice, std::map<varID, Lattice*> constVarLattices,
Lattice* allVarLattice,
422 VariablesProductLattice(includeScalars, includeArrays, perVarLattice, constVarLattices, allVarLattice, func, n, state),