ROSE  0.9.10.69
ConstrGraph Member List

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)ConstrGraphinline
andUpd(ConstrGraph *that, std::string indent="") (defined in ConstrGraph)ConstrGraph
andUpd(ConstrGraph *that) (defined in ConstrGraph)ConstrGraphinline
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)ConstrGraphprotected
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)ConstrGraphprotected
conj enum value (defined in ConstrGraph)ConstrGraph
constrChanged (defined in ConstrGraph)ConstrGraphprotected
ConstrGraph(const Function &func, const DataflowNode &n, const NodeState &state, bool initialized=false, std::string indent="") (defined in ConstrGraph)ConstrGraphprotected
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)ConstrGraphprotected
constrTypes enum name (defined in ConstrGraph)ConstrGraph
containsVar(const varID &var, std::string indent="") (defined in ConstrGraph)ConstrGraph
copy(Lattice *that) (defined in ConstrGraph)ConstrGraphvirtual
copy() const (defined in ConstrGraph)ConstrGraphvirtual
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)ConstrGraphprotected
divL (defined in ConstrGraph)ConstrGraphprotected
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)ConstrGraphinline
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()InfiniteLatticeinlinevirtual
func (defined in ConstrGraph)ConstrGraphprotected
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 *that) (defined in ConstrGraph)ConstrGraphinlinevirtual
initCG(const Function &func, const std::set< NodeDesc > &nodes, bool initialized, std::string indent="") (defined in ConstrGraph)ConstrGraphprotected
initialize(std::string indent="") (defined in ConstrGraph)ConstrGraph
initialize() (defined in ConstrGraph)ConstrGraphinlinevirtual
inTransaction (defined in ConstrGraph)ConstrGraphprotected
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)ConstrGraphstatic
joinCG_copyState(ConstrGraph *tgtCG, ConstrGraph *srcCG, void *annot, std::string annotName, const varIDSet &noAnnot, std::string indent="") (defined in ConstrGraph)ConstrGraphprotectedstatic
ldva (defined in ConstrGraph)ConstrGraphprotected
leBegin(const varID &y) (defined in ConstrGraph)ConstrGraph
leEnd() (defined in ConstrGraph)ConstrGraph
level (defined in ConstrGraph)ConstrGraphprotected
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)ConstrGraphinline
meetUpdate(Lattice *that, std::string indent="") (defined in ConstrGraph)ConstrGraph
meetUpdate(Lattice *that) (defined in ConstrGraph)ConstrGraphinlinevirtual
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)ConstrGraphprotected
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)ConstrGraphprotected
modifiedVars (defined in ConstrGraph)ConstrGraphprotected
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)Latticeinline
operator!=(Lattice &that) (defined in Lattice)Latticeinline
operator<<=(ConstrGraph &that) (defined in ConstrGraph)ConstrGraph
operator==(ConstrGraph &that) (defined in ConstrGraph)ConstrGraph
operator==(Lattice *that) (defined in ConstrGraph)ConstrGraphvirtual
operator==(Lattice &that) (defined in Lattice)Latticeinline
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)ConstrGraphinline
project(SgExpression *expr) (defined in ConstrGraph)ConstrGraphinlinevirtual
remapVars(const std::map< varID, varID > &varNameMap, const Function &newFunc) (defined in ConstrGraph)ConstrGraphinlinevirtual
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)ConstrGraphprotected
str(std::string indent="") (defined in ConstrGraph)ConstrGraphvirtual
str(std::string indent, bool useIsBottom) (defined in ConstrGraph)ConstrGraph
toDOT(std::string graphName) (defined in ConstrGraph)ConstrGraphvirtual
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)ConstrGraphprotected
transitiveClosureY(const varID &x, const varID &y, bool &modified, int &numSteps, int &numInfers, bool &iterModified, std::string indent="") (defined in ConstrGraph)ConstrGraphprotected
transitiveClosureZ(const varID &x, const varID &y, const varID &z, bool &modified, int &numSteps, int &numInfers, bool &iterModified, std::string indent="") (defined in ConstrGraph)ConstrGraphprotected
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)ConstrGraphprotected
unknown enum value (defined in ConstrGraph)ConstrGraph
unProject(SgExpression *expr, Lattice *exprState) (defined in ConstrGraph)ConstrGraphinlinevirtual
varHasAnnot(const varID &var, const std::set< std::pair< std::string, void * > > &annots, std::string indent="") (defined in ConstrGraph)ConstrGraphstatic
varHasAnnot(const varID &var, std::string annotName, void *annotVal, std::string indent="") (defined in ConstrGraph)ConstrGraphstatic
vars (defined in ConstrGraph)ConstrGraphprotected
vars2Value (defined in ConstrGraph)ConstrGraphprotected
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)ConstrGraphinlinevirtual
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)dottableinlinevirtual
~printable() (defined in printable)printableinlinevirtual