OA::DFAGenReachingDefinitions Namespace Reference

Classes
class	DFAGenReachingDefinitionsStandard
class	ManagerDFAGenReachingDefinitionsStandard
class	DFAGenReachingDefinitionsIRInterface
Variables
static bool	debug = false

---

Variable Documentation

bool OA::DFAGenReachingDefinitions::debug = false [static]

Definition at line 9 of file ManagerAutoDFAGenReachingDefinitionsStandard.cpp.

Referenced by OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard::ManagerDFAGenReachingDefinitionsStandard(), OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard::meet(), OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard::performAnalysis(), and OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard::transfer().