SVF::WPASolver< GraphType > Member List

This is the complete list of members for SVF::WPASolver< 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
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 typedef	SVF::WPASolver< GraphType >
scc	SVF::WPASolver< GraphType >	protected
SCCDetect()	SVF::WPASolver< GraphType >	inlineprotectedvirtual
SCCDetect(NodeSet &candidates)	SVF::WPASolver< GraphType >	inlineprotectedvirtual
sccRepNode(NodeID id) const	SVF::WPASolver< GraphType >	inlineprotectedvirtual
setGraph(GraphType g)	SVF::WPASolver< GraphType >	inlineprotected
solveWorklist()	SVF::WPASolver< GraphType >	inlineprotectedvirtual
WorkList typedef	SVF::WPASolver< GraphType >
worklist	SVF::WPASolver< GraphType >	protected
WPASolver()	SVF::WPASolver< GraphType >	inlineprotected
~WPASolver()=default	SVF::WPASolver< GraphType >	protectedvirtual