SVF::WPAFSSolver< GraphType > Member List

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

_graph	SVF::WPASolver< GraphType >	protected
child_iterator typedef	SVF::WPASolver< GraphType >
collapseFields()	SVF::WPASolver< GraphType >	inlineprotectedvirtual
GEDGE typedef	SVF::WPASolver< GraphType >
getSCCDetector() const	SVF::WPASolver< GraphType >	inlineprotected
GNODE typedef	SVF::WPASolver< GraphType >
graph()	SVF::WPASolver< GraphType >	inlineprotected
GTraits typedef	SVF::WPASolver< GraphType >
initWorklist()	SVF::WPASolver< GraphType >	inlineprotectedvirtual
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::WPASolver< GraphType >	inlineprotectedvirtual
propFromSrcToDst(GEDGE *)	SVF::WPASolver< GraphType >	inlineprotectedvirtual
pushIntoWorklist(NodeID id)	SVF::WPASolver< GraphType >	inlineprotectedvirtual
reanalyze	SVF::WPASolver< GraphType >	protected
scc	SVF::WPASolver< GraphType >	protected
SCC typedef	SVF::WPASolver< GraphType >
SCCDetect()	SVF::WPAFSSolver< GraphType >	inlineprotectedvirtual
SVF::WPASolver::SCCDetect(NodeSet &candidates)	SVF::WPASolver< GraphType >	inlineprotectedvirtual
sccRepNode(NodeID id) const	SVF::WPAFSSolver< GraphType >	inlinevirtual
setGraph(GraphType g)	SVF::WPASolver< GraphType >	inlineprotected
solveWorklist()	SVF::WPASolver< GraphType >	inlineprotectedvirtual
worklist	SVF::WPASolver< GraphType >	protected
WorkList typedef	SVF::WPASolver< GraphType >
WPAFSSolver()	SVF::WPAFSSolver< GraphType >	inline
WPASolver()	SVF::WPASolver< GraphType >	inlineprotected
~WPAFSSolver()	SVF::WPAFSSolver< GraphType >	inlinevirtual
~WPASolver()=default	SVF::WPASolver< GraphType >	protectedvirtual