ROSE
0.11.96.11
|
This is the complete list of members for InfiniteLattice, including all inherited members.
copy() const =0 (defined in Lattice) | Lattice | pure virtual |
copy(Lattice *that)=0 (defined in Lattice) | Lattice | pure virtual |
finiteLattice() | InfiniteLattice | inlinevirtual |
incorporateVars(Lattice *that) (defined in Lattice) | Lattice | inlinevirtual |
initialize()=0 (defined in Lattice) | Lattice | pure virtual |
meetUpdate(Lattice *that)=0 (defined in Lattice) | Lattice | pure virtual |
operator!=(Lattice *that) (defined in Lattice) | Lattice | inline |
operator!=(Lattice &that) (defined in Lattice) | Lattice | inline |
operator==(Lattice *that)=0 (defined in Lattice) | Lattice | pure virtual |
operator==(Lattice &that) (defined in Lattice) | Lattice | inline |
project(SgExpression *expr) (defined in Lattice) | Lattice | inlinevirtual |
remapVars(const std::map< varID, varID > &varNameMap, const Function &newFunc) (defined in Lattice) | Lattice | inlinevirtual |
str(std::string indent="")=0 (defined in printable) | printable | pure virtual |
unProject(SgExpression *expr, Lattice *exprState) (defined in Lattice) | Lattice | inlinevirtual |
widenUpdate(InfiniteLattice *that)=0 (defined in InfiniteLattice) | InfiniteLattice | pure virtual |
~printable() (defined in printable) | printable | inlinevirtual |