ROSE 0.11.145.192
|
This is the complete list of members for ConstrGraph, including all inherited members.
addDivL(FiniteVarsExprsProductLattice *divLattice, std::string annotName, void *annot, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
addVar(const varID &scalar, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
addVarAnnot(std::string tgtAnnotName, void *tgtAnnotVal, std::string newAnnotName, void *newAnnotVal, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
andUpd(LogicalCond &that, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
andUpd(LogicalCond &that) (defined in ConstrGraph) | ConstrGraph | inline |
andUpd(ConstrGraph *that, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
andUpd(ConstrGraph *that) (defined in ConstrGraph) | ConstrGraph | inline |
annotInterestingVar(const varID &var, const std::set< std::pair< std::string, void * > > &noCopyAnnots, const std::set< varID > &noCopyVars, const std::string &annotName, void *annotVal, std::string indent="") (defined in ConstrGraph) | ConstrGraph | protected |
assertCond(const varAffineInequality &cond, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
assertCond(const varID &x, const varID &y, const affineInequality &ineq, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
assertCond(const varID &x, const varID &y, int a, int b, int c, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
assertEq(const varAffineInequality &cond, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
assertEq(varID x, varID y, const affineInequality &ineq, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
assertEq(const varID &x, const varID &y, int a=1, int b=1, int c=0, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
assign(const varAffineInequality &cond, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
assign(varID x, varID y, const affineInequality &ineq, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
assign(varID x, varID y, int a, int b, int c, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
assignBot(varID var, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
assignTop(varID var, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
beginTransaction(std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
bottom enum value (defined in ConstrGraph) | ConstrGraph | |
checkSelfConsistency(std::string indent="") (defined in ConstrGraph) | ConstrGraph | protected |
conj enum value (defined in ConstrGraph) | ConstrGraph | |
constrChanged (defined in ConstrGraph) | ConstrGraph | protected |
ConstrGraph(const Function &func, const DataflowNode &n, const NodeState &state, bool initialized=false, std::string indent="") (defined in ConstrGraph) | ConstrGraph | protected |
ConstrGraph(const Function &func, const DataflowNode &n, const NodeState &state, LiveDeadVarsAnalysis *ldva, FiniteVarsExprsProductLattice *divL, bool initialized=true, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
ConstrGraph(const Function &func, const DataflowNode &n, const NodeState &state, LiveDeadVarsAnalysis *ldva, const std::map< std::pair< std::string, void * >, FiniteVarsExprsProductLattice * > &divL, bool initialized=true, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
ConstrGraph(const Function &func, const std::set< NodeDesc > &nodes, const NodeState &state, LiveDeadVarsAnalysis *ldva, const std::map< std::pair< std::string, void * >, FiniteVarsExprsProductLattice * > &divL, bool initialized=true, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
ConstrGraph(ConstrGraph &that, bool initialized=true, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
ConstrGraph(const ConstrGraph *that, bool initialized=true, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
ConstrGraph(const std::set< varAffineInequality > &ineqs, const Function &func, const DataflowNode &n, const NodeState &state, LiveDeadVarsAnalysis *ldva, FiniteVarsExprsProductLattice *divL, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
ConstrGraph(const std::set< varAffineInequality > &ineqs, const Function &func, const DataflowNode &n, const NodeState &state, LiveDeadVarsAnalysis *ldva, const std::map< std::pair< std::string, void * >, FiniteVarsExprsProductLattice * > &divL, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
constrKnown enum value (defined in ConstrGraph) | ConstrGraph | |
constrType (defined in ConstrGraph) | ConstrGraph | protected |
constrTypes enum name (defined in ConstrGraph) | ConstrGraph | |
containsVar(const varID &var, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
copy(Lattice *that) (defined in ConstrGraph) | ConstrGraph | virtual |
copy() const (defined in ConstrGraph) | ConstrGraph | virtual |
copyAnnotVars(std::string srcAnnotName, void *srcAnnotVal, std::string tgtAnnotName, void *tgtAnnotVal, const std::set< std::pair< std::string, void * > > &noCopyAnnots, const std::set< varID > &noCopyVars, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
copyConstraints(ConstrGraph &that, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
copyConstraintsReplace(ConstrGraph &that, varID varTo, varID varFrom, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
copyFrom(ConstrGraph &that, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
copyFromReplace(ConstrGraph &that, varID varTo, varID varFrom, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
copyVar(const ConstrGraph &that, const varID &var) (defined in ConstrGraph) | ConstrGraph | |
diffConstraints(ConstrGraph &that, std::string indent="") (defined in ConstrGraph) | ConstrGraph | protected |
divL (defined in ConstrGraph) | ConstrGraph | protected |
DivLattices2Str(std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
endTransaction(std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
eqVars(const varID &v1, const varID &v2, int a=1, int b=1, int c=0, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
eqVars(const varID &v1, const varID &v2, std::string indent="") (defined in ConstrGraph) | ConstrGraph | inline |
eraseConstraints(bool noBottomCheck=false, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
eraseVarConstr(const varID &eraseVar, bool noConsistencyCheck=false, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
eraseVarConstrNoDiv(const varID &eraseVar, bool noConsistencyCheck=false, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
eraseVarConstrNoDivVars(const varID &eraseVar, bool noConsistencyCheck=false, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
finiteLattice() | InfiniteLattice | inlinevirtual |
func (defined in ConstrGraph) | ConstrGraph | protected |
geBegin(const varID &y) (defined in ConstrGraph) | ConstrGraph | |
geEnd() (defined in ConstrGraph) | ConstrGraph | |
getDivLattice(const varID &var, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
getEqVars(varID var, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
getLevel(bool noConsistencyCheck=false, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
getProjection(const varIDSet &focusVars, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
getVal(varID x, varID y, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
getVars() const (defined in ConstrGraph) | ConstrGraph | |
getVarSign(const varID &var, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
getVarsMod() (defined in ConstrGraph) | ConstrGraph | |
hasConsistentConstraints(bool noConsistencyCheck=false, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
inconsistent enum value (defined in ConstrGraph) | ConstrGraph | |
incorporateVars(Lattice *) (defined in ConstrGraph) | ConstrGraph | inlinevirtual |
initCG(const Function &func, const std::set< NodeDesc > &nodes, bool initialized, std::string indent="") (defined in ConstrGraph) | ConstrGraph | protected |
initialize(std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
initialize() (defined in ConstrGraph) | ConstrGraph | inlinevirtual |
inTransaction (defined in ConstrGraph) | ConstrGraph | protected |
isEqVars(const varID &v1, const varID &v2, int &a, int &b, int &c, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
isEqZero(const varID &var, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
isMaximalState(bool noConsistencyCheck=false, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
isSelfConsistent(bool noConsistencyCheck=false, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
joinCG(ConstrGraph *cg1, void *cg1Annot, ConstrGraph *cg2, void *cg2Annot, std::string annotName, const varIDSet &noAnnot, std::string indent="") (defined in ConstrGraph) | ConstrGraph | static |
joinCG_copyState(ConstrGraph *tgtCG, ConstrGraph *srcCG, void *annot, std::string annotName, const varIDSet &noAnnot, std::string indent="") (defined in ConstrGraph) | ConstrGraph | protectedstatic |
ldva (defined in ConstrGraph) | ConstrGraph | protected |
leBegin(const varID &y) (defined in ConstrGraph) | ConstrGraph | |
leEnd() (defined in ConstrGraph) | ConstrGraph | |
level (defined in ConstrGraph) | ConstrGraph | protected |
levels enum name (defined in ConstrGraph) | ConstrGraph | |
localTransClosure(const varID &tgtVar, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
lteVars(const varID &v1, const varID &v2, int a=1, int b=1, int c=0, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
ltVars(const varID &v1, const varID &v2, int a=1, int b=1, int c=0, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
mayTrue(std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
mayTrue() (defined in ConstrGraph) | ConstrGraph | inline |
meetUpdate(Lattice *that, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
meetUpdate(Lattice *that) (defined in ConstrGraph) | ConstrGraph | inlinevirtual |
meetUpdate_ex(Lattice *that_arg, bool limitToThat, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
meetUpdateLimitToThat(InfiniteLattice *that, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
mergeAnnotVars(const std::string &finalAnnotName, void *finalAnnotVal, const std::string &remAnnotName, void *remAnnotVal, const std::set< std::pair< std::string, void * > > &noCopyAnnots, const std::set< varID > &noCopyVars, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
mergeAnnotVarsSet(std::set< varID > varsSet, std::string finalAnnotName, void *finalAnnotVal, std::string remAnnotName, void *remAnnotVal, const std::set< std::pair< std::string, void * > > &noCopyAnnots, const std::set< varID > &noCopyVars, std::string indent="") (defined in ConstrGraph) | ConstrGraph | protected |
mergeAnnotVarsSubMap(std::map< varID, affineInequality > &subMap, std::string finalAnnotName, void *finalAnnotVal, std::string remAnnotName, void *remAnnotVal, const std::set< std::pair< std::string, void * > > &noCopyAnnots, const std::set< varID > &noCopyVars, std::string indent="") (defined in ConstrGraph) | ConstrGraph | protected |
modifiedVars (defined in ConstrGraph) | ConstrGraph | protected |
mustOutsideRange(varID x, int b, int c, varID y, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
negate(std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
negConj enum value (defined in ConstrGraph) | ConstrGraph | |
operator!=(ConstrGraph &that) (defined in ConstrGraph) | ConstrGraph | |
operator!=(Lattice *that) (defined in Lattice) | Lattice | inline |
operator!=(Lattice &that) (defined in Lattice) | Lattice | inline |
operator<<=(ConstrGraph &that) (defined in ConstrGraph) | ConstrGraph | |
operator==(ConstrGraph &that) (defined in ConstrGraph) | ConstrGraph | |
operator==(Lattice *that) (defined in ConstrGraph) | ConstrGraph | virtual |
operator==(Lattice &that) (defined in Lattice) | Lattice | inline |
OrAndWidenUpdate(ConstrGraph *that, bool meet, bool OR, bool limitToThat, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
OrAndWidenUpdate_XinThatNotThis(bool OR, bool limitToThat, ConstrGraph *that, std::map< varID, std::map< varID, affineInequality > >::iterator &itThatX, std::map< varID, std::map< varID, affineInequality > > &additionsToThis, bool &modified, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
OrAndWidenUpdate_XinThisNotThat(bool OR, bool limitToThat, std::map< varID, std::map< varID, affineInequality > >::iterator &itThisX, bool &modified, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
OrAndWidenUpdate_YinThatNotThis(bool OR, bool limitToThat, std::map< varID, std::map< varID, affineInequality > >::iterator &itThatX, std::map< varID, affineInequality >::iterator &itThatY, std::map< varID, affineInequality > &additionsToThis, bool &modified, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
OrAndWidenUpdate_YinThisNotThat(bool OR, bool limitToThat, std::map< varID, std::map< varID, affineInequality > >::iterator &itThisX, std::map< varID, affineInequality >::iterator &itThisY, bool &modified, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
orUpd(LogicalCond &that, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
orUpd(LogicalCond &that) (defined in ConstrGraph) | ConstrGraph | inline |
project(SgExpression *) (defined in ConstrGraph) | ConstrGraph | inlinevirtual |
remapVars(const std::map< varID, varID > &, const Function &) (defined in ConstrGraph) | ConstrGraph | inlinevirtual |
removeVar(const varID &scalar, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
removeVarAnnot(std::string annotName, void *annot, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
replaceVar(const varID &origVar, const varID &newVar, bool noConsistencyCheck=false, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
replaceVarAnnot(std::string oldAnnotName, void *oldAnnot, std::string newAnnotName, void *newAnnot, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
setToBottom(std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
setToConstrKnown(constrTypes ct, bool eraseCurConstr=true, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
setToInconsistent(std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
setToTop(bool onlyIfNotInit=false, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
setToUninitialized_KeepState(std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
setVal(varID x, varID y, int a, int b, int c, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
setVal(varID x, varID y, const affineInequality &ineq, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
state (defined in ConstrGraph) | ConstrGraph | protected |
str(std::string indent="") (defined in ConstrGraph) | ConstrGraph | virtual |
str(std::string indent, bool useIsBottom) (defined in ConstrGraph) | ConstrGraph | |
toDOT(std::string graphName) (defined in ConstrGraph) | ConstrGraph | virtual |
toDOT(std::string graphName, std::set< varID > &focusVars) (defined in ConstrGraph) | ConstrGraph | |
top enum value (defined in ConstrGraph) | ConstrGraph | |
transitiveClosure(std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
transitiveClosureDiv(std::string indent="") (defined in ConstrGraph) | ConstrGraph | protected |
transitiveClosureY(const varID &x, const varID &y, bool &modified, int &numSteps, int &numInfers, bool &iterModified, std::string indent="") (defined in ConstrGraph) | ConstrGraph | protected |
transitiveClosureZ(const varID &x, const varID &y, const varID &z, bool &modified, int &numSteps, int &numInfers, bool &iterModified, std::string indent="") (defined in ConstrGraph) | ConstrGraph | protected |
uninitialized enum value (defined in ConstrGraph) | ConstrGraph | |
unionXYsubMap(std::map< varID, affineInequality > &subMap, const varID &y, const affineInequality &ineq, std::string indent="") (defined in ConstrGraph) | ConstrGraph | protected |
unknown enum value (defined in ConstrGraph) | ConstrGraph | |
unProject(SgExpression *, Lattice *exprState) (defined in ConstrGraph) | ConstrGraph | inlinevirtual |
varHasAnnot(const varID &var, const std::set< std::pair< std::string, void * > > &annots, std::string indent="") (defined in ConstrGraph) | ConstrGraph | static |
varHasAnnot(const varID &var, std::string annotName, void *annotVal, std::string indent="") (defined in ConstrGraph) | ConstrGraph | static |
vars (defined in ConstrGraph) | ConstrGraph | protected |
vars2Value (defined in ConstrGraph) | ConstrGraph | protected |
varSetStatusToStream(const std::set< varID > &vars, std::ostringstream &outs, bool &needEndl, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
widenUpdate(InfiniteLattice *that, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
widenUpdate(InfiniteLattice *that) (defined in ConstrGraph) | ConstrGraph | inlinevirtual |
widenUpdate_ex(InfiniteLattice *that_arg, bool limitToThat, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
widenUpdateLimitToThat(InfiniteLattice *that, std::string indent="") (defined in ConstrGraph) | ConstrGraph | |
~ConstrGraph() (defined in ConstrGraph) | ConstrGraph | |
~dottable() (defined in dottable) | dottable | inlinevirtual |
~printable() (defined in printable) | printable | inlinevirtual |