SVF::WPASCCSolver< GraphType > Member List

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

_graph	SVF::WPASolver< GraphType >	protected
addNodeIntoWorkList(NodeID node)	SVF::WPASCCSolver< GraphType >	inlineprotectedvirtual
child_iterator typedef	SVF::WPASCCSolver< GraphType >
collapseFields()	SVF::WPASolver< GraphType >	inlineprotectedvirtual
curSCCID	SVF::WPASCCSolver< GraphType >	protected
GEDGE typedef	SVF::WPASolver< GraphType >
getSCCDetector() const	SVF::WPASolver< GraphType >	inlineprotected
GNODE typedef	SVF::WPASCCSolver< GraphType >
graph()	SVF::WPASolver< GraphType >	inlineprotected
GTraits typedef	SVF::WPASCCSolver< 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
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::WPASCCSolver< GraphType >	inlineprotectedvirtual
solveWorklist()	SVF::WPASolver< GraphType >	inlineprotectedvirtual
worklist	SVF::WPASolver< GraphType >	protected
WorkList typedef	SVF::WPASolver< GraphType >
WPAFSSolver()	SVF::WPAFSSolver< GraphType >	inline
WPASCCSolver()	SVF::WPASCCSolver< GraphType >	inline
WPASolver()	SVF::WPASolver< GraphType >	inlineprotected
~WPAFSSolver()	SVF::WPAFSSolver< GraphType >	inlinevirtual
~WPASCCSolver()	SVF::WPASCCSolver< GraphType >	inlinevirtual
~WPASolver()=default	SVF::WPASolver< GraphType >	protectedvirtual