SVF::POCRSolver Member List

This is the complete list of members for SVF::POCRSolver, including all inherited members.

addEdge(const NodeID src, const NodeID dst, const Label ty)	SVF::POCRSolver	inline
addEdges(const NodeID src, const NodeBS &dstData, const Label ty)	SVF::POCRSolver	inline
addEdges(const NodeBS &srcData, const NodeID dst, const Label ty)	SVF::POCRSolver	inline
addPred(const NodeID key, const NodeID src, const Label ty)	SVF::POCRSolver	inlineprotected
addPreds(const NodeID key, const NodeBS &data, const Label ty)	SVF::POCRSolver	inlineprotected
addSucc(const NodeID key, const NodeID dst, const Label ty)	SVF::POCRSolver	inlineprotected
addSuccs(const NodeID key, const NodeBS &data, const Label ty)	SVF::POCRSolver	inlineprotected
begin() const	SVF::POCRSolver	inline
begin()	SVF::POCRSolver	inline
buildCFLData()	SVF::POCRSolver	virtual
CFLSolver(CFLGraph *_graph, CFGrammar *_grammar)	SVF::CFLSolver	inline
clear()	SVF::POCRSolver	inlinevirtual
clearEdges(const NodeID key)	SVF::POCRSolver	inline
const_iterator typedef	SVF::POCRSolver
DataMap typedef	SVF::POCRSolver
diff	SVF::POCRSolver	protected
emptyData	SVF::POCRSolver	protected
end() const	SVF::POCRSolver	inline
end()	SVF::POCRSolver	inline
getGrammar() const	SVF::CFLSolver	inline
getGraph() const	SVF::CFLSolver	inline
getPredMap()	SVF::POCRSolver	inline
getPredMap(const NodeID key)	SVF::POCRSolver	inline
getPreds(const NodeID key, const Label ty)	SVF::POCRSolver	inline
getSuccMap()	SVF::POCRSolver	inline
getSuccMap(const NodeID key)	SVF::POCRSolver	inline
getSuccs(const NodeID key, const Label ty)	SVF::POCRSolver	inline
grammar	SVF::CFLSolver	protected
graph	SVF::CFLSolver	protected
hasEdge(const NodeID src, const NodeID dst, const Label ty)	SVF::POCRSolver	inline
initialize()	SVF::POCRSolver	virtual
isInWorklist(const CFLEdge *item)	SVF::CFLSolver	inlineprotected
isWorklistEmpty()	SVF::CFLSolver	inlinevirtual
iterator typedef	SVF::POCRSolver
numOfChecks	SVF::CFLSolver	static
POCRSolver(CFLGraph *_graph, CFGrammar *_grammar)	SVF::POCRSolver	inline
popFromWorklist()	SVF::CFLSolver	inlineprotected
predMap	SVF::POCRSolver	protected
processCFLEdge(const CFLEdge *Y_edge)	SVF::POCRSolver	virtual
Production typedef	SVF::CFLSolver
pushIntoWorklist(const CFLEdge *item)	SVF::CFLSolver	inlinevirtual
solve()	SVF::CFLSolver	virtual
succMap	SVF::POCRSolver	protected
Symbol typedef	SVF::CFLSolver
TypeMap typedef	SVF::POCRSolver
worklist	SVF::CFLSolver	protected
WorkList typedef	SVF::CFLSolver
~CFLSolver()	SVF::CFLSolver	inlinevirtual
~POCRSolver()	SVF::POCRSolver	inlinevirtual