CFLSolver.h File Reference

#include "Graphs/CFLGraph.h"
#include "CFL/CFGrammar.h"
#include "Util/WorkList.h"

Go to the source code of this file.

Classes
class	SVF::CFLSolver
class	SVF::POCRSolver
	Solver Utilize CFLData. More...
class	SVF::POCRHybridSolver
	Solver Utilize Hybrid Representation of Graph. More...
struct	SVF::POCRHybridSolver::TreeNode

Namespaces
	SVF
	for isBitcode

Typedefs
typedef GrammarBase::Symbol	SVF::Label