SVF::WPAMinimumSolver< GraphType > Member List

This is the complete list of members for SVF::WPAMinimumSolver< GraphType >, including all inherited members.

_graph	SVF::WPASolver< GraphType >	protected
addNewCandidate(NodeID node)	SVF::WPAMinimumSolver< GraphType >	inlineprivate
addNodeIntoWorkList(NodeID node)	SVF::WPAMinimumSolver< GraphType >	inlineprotectedvirtual
candidates	SVF::WPAMinimumSolver< GraphType >	private
child_iterator typedef	SVF::WPAMinimumSolver< GraphType >
collapseFields()	SVF::WPASolver< GraphType >	inlineprotectedvirtual
curSCCID	SVF::WPASCCSolver< GraphType >	protected
GEDGE typedef	SVF::WPASolver< GraphType >
getCandidates() const	SVF::WPAMinimumSolver< GraphType >	inlineprivate
getSCCDetector() const	SVF::WPASolver< GraphType >	inlineprotected
GNODE typedef	SVF::WPAMinimumSolver< GraphType >
graph()	SVF::WPASolver< GraphType >	inlineprotected
GTraits typedef	SVF::WPAMinimumSolver< GraphType >
initWorklist()	SVF::WPASolver< GraphType >	inlineprotectedvirtual
isInCurrentSCC(NodeID node)	SVF::WPASCCSolver< GraphType >	inlineprotected
isInWorklist(NodeID id)	SVF::WPASolver< GraphType >	inlineprotected
isWorklistEmpty()	SVF::WPASolver< GraphType >	inlineprotected
iterationForPrintStat	SVF::WPASolver< GraphType >	protected
Node(NodeID id)	SVF::WPASolver< GraphType >	inlineprotected
Node_Index(GNODE node)	SVF::WPASolver< GraphType >	inlineprotected
nodeStack	SVF::WPAFSSolver< GraphType >	protected
numOfIteration	SVF::WPASolver< GraphType >
popFromWorklist()	SVF::WPASolver< GraphType >	inlineprotected
processNode(NodeID)	SVF::WPASolver< GraphType >	inlineprotectedvirtual
propagate(GNODE *v)	SVF::WPASCCSolver< GraphType >	inlineprotectedvirtual
propFromSrcToDst(GEDGE *)	SVF::WPASolver< GraphType >	inlineprotectedvirtual
pushIntoWorklist(NodeID id)	SVF::WPASolver< GraphType >	inlineprotectedvirtual
reanalyze	SVF::WPASolver< GraphType >	protected
removeCandidates(const NodeBS &nodes)	SVF::WPAMinimumSolver< GraphType >	inlineprivate
SCC typedef	SVF::WPASolver< GraphType >
scc	SVF::WPASolver< GraphType >	protected
SCCDetect()	SVF::WPAFSSolver< GraphType >	inlineprotectedvirtual
SVF::WPASolver::SCCDetect(NodeSet &candidates)	SVF::WPASolver< GraphType >	inlineprotectedvirtual
sccRepNode(NodeID id) const	SVF::WPAFSSolver< GraphType >	inlinevirtual
setCurrentSCC(NodeID id)	SVF::WPASCCSolver< GraphType >	inlineprotected
setGraph(GraphType g)	SVF::WPASolver< GraphType >	inlineprotected
solve()	SVF::WPAMinimumSolver< GraphType >	inlineprotectedvirtual
solveWorklist()	SVF::WPASolver< GraphType >	inlineprotectedvirtual
worklist	SVF::WPASolver< GraphType >	protected
WorkList typedef	SVF::WPASolver< GraphType >
WPAFSSolver()	SVF::WPAFSSolver< GraphType >	inline
WPAMinimumSolver()	SVF::WPAMinimumSolver< GraphType >	inline
WPASCCSolver()	SVF::WPASCCSolver< GraphType >	inline
WPASolver()	SVF::WPASolver< GraphType >	inlineprotected
~WPAFSSolver()	SVF::WPAFSSolver< GraphType >	inlinevirtual
~WPAMinimumSolver()	SVF::WPAMinimumSolver< GraphType >	inlinevirtual
~WPASCCSolver()	SVF::WPASCCSolver< GraphType >	inlinevirtual
~WPASolver()=default	SVF::WPASolver< GraphType >	protectedvirtual