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