ReachDefs Directory Reference

Files
file	Interface.hpp [code]
	Declarations for the abstract ReachDefs interface.
file	ManagerReachDefsStandard.cpp [code]
	The AnnotationManager that generates ReachDefsStandards which map each statement to a set of reaching definitions that reach that statement.
file	ManagerReachDefsStandard.hpp [code]
	Declarations of the AnnotationManager that generates a ReachDefsStandard.
file	ReachDefsStandard.cpp [code]
	Implementation of ReachDefs::ReachDefsStandard.
file	ReachDefsStandard.hpp [code]
	Maps StmtHandles to set of StmtHandle defs that reach each StmtHandle.