ReachDefsOverwrite Directory Reference

Files
file	Interface.hpp [code]
	Declarations for the abstract ReachDefsOverwrite interface.
file	ManagerReachDefsOverwriteStandard.cpp [code]
	The AnnotationManager that generates ReachDefsOverwriteStandards which map each statement to a set of reaching definitions that reach that statement and a set of overwriting statements.
file	ManagerReachDefsOverwriteStandard.hpp [code]
	Declarations of the AnnotationManager that generates a ReachDefsOverwriteStandard.
file	ReachDefsOverwriteStandard.cpp [code]
	Implementation of ReachDefsOverwrite::ReachDefsOverwriteStandard.
file	ReachDefsOverwriteStandard.hpp [code]
	Maps StmtHandles to set of StmtHandle defs that reach each StmtHandle and defs that overwrite this statements def.