This is the complete list of members for ConstrGraphAnalysis, including all inherited members.

Analysis(bool(*f)(CFGNode)=defaultFilter) (defined in Analysis)	Analysis	inline
ConstrGraphAnalysis(LiveDeadVarsAnalysis ldva, DivAnalysis divAnalysis) (defined in ConstrGraphAnalysis)	ConstrGraphAnalysis	inline
constVars (defined in ConstrGraphAnalysis)	ConstrGraphAnalysis	protectedstatic
divAnalysis (defined in ConstrGraphAnalysis)	ConstrGraphAnalysis	protected
filter (defined in Analysis)	Analysis
gatherDescendants(std::vector< DataflowEdge > edges, DataflowNode(DataflowEdge::*edgeFn)() const) (defined in IntraUniDirectionalDataflow)	IntraUniDirectionalDataflow	protected
genInitState(const Function &func, const DataflowNode &n, const NodeState &state, vector< Lattice * > &initLattices, vector< NodeFact * > &initFacts) (defined in ConstrGraphAnalysis)	ConstrGraphAnalysis	virtual
getDescendants(const DataflowNode &n) (defined in IntraFWDataflow)	IntraFWDataflow	virtual
getInitialWorklist(const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState) (defined in IntraFWDataflow)	IntraFWDataflow	virtual
getInterAnalysis() const (defined in IntraProceduralDataflow)	IntraProceduralDataflow	inline
getLatticeAnte(NodeState *state) (defined in IntraFWDataflow)	IntraFWDataflow	virtual
getLatticePost(NodeState *state) (defined in IntraFWDataflow)	IntraFWDataflow	virtual
getTransferVisitor(const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo) (defined in IntraUnitDataflow)	IntraUnitDataflow	inlinevirtual
getUltimate(const Function &func) (defined in IntraFWDataflow)	IntraFWDataflow	virtual
incorporateConditionalsInfo(const Function &func, const DataflowNode &n, NodeState &state, const vector< Lattice * > &dfInfo) (defined in ConstrGraphAnalysis)	ConstrGraphAnalysis
initializeFunctionNodeState(const Function &func, NodeState *fState) (defined in IntraFWDataflow)	IntraFWDataflow	virtual
interAnalysis (defined in IntraProceduralAnalysis)	IntraProceduralAnalysis	protected
IntraFWDataflow() (defined in IntraFWDataflow)	IntraFWDataflow	inline
ldva (defined in ConstrGraphAnalysis)	ConstrGraphAnalysis	protected
propagateStateToNextNode(const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode) (defined in IntraUniDirectionalDataflow)	IntraUniDirectionalDataflow	protected
removeConstrDivVars(const Function &func, const DataflowNode &n, NodeState &state, const vector< Lattice * > &dfInfo, string indent="") (defined in ConstrGraphAnalysis)	ConstrGraphAnalysis
runAnalysis(const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated) (defined in IntraUniDirectionalDataflow)	IntraUniDirectionalDataflow	virtual
runAnalysis(const Function &func, NodeState *state) (defined in IntraProceduralDataflow)	IntraProceduralDataflow	inlinevirtual
setInterAnalysis(InterProceduralDataflow *interDataflowAnalysis) (defined in IntraProceduralDataflow)	IntraProceduralDataflow	inline
setInterAnalysis(IntraProceduralDataflow *intraDFAnalysis) (defined in IntraProceduralDataflow)	IntraProceduralDataflow	inline
setInterAnalysis(InterProceduralAnalysis *interAnalysis) (defined in IntraProceduralAnalysis)	IntraProceduralAnalysis	inline
transfer(const Function &func, const DataflowNode &n, NodeState &state, const vector< Lattice * > &dfInfo) (defined in ConstrGraphAnalysis)	ConstrGraphAnalysis	virtual
transferFunctionCall(const Function &func, const DataflowNode &n, NodeState *state) (defined in IntraFWDataflow)	IntraFWDataflow	virtual
visited (defined in IntraProceduralDataflow)	IntraProceduralDataflow
~IntraProceduralAnalysis() (defined in IntraProceduralAnalysis)	IntraProceduralAnalysis	virtual