#include <flat_solver.h>
Inheritance diagram for FSolver:
Public Methods | |
FSolver (SuperGraph *graph) | |
virtual | ~FSolver () |
virtual bool | apply_transfer (SGraphNode) = 0 |
virtual bool | apply_region_exit_transfer (SGraphNode) |
virtual bool | apply_subregion_entry_transfer (SuperGraphRegion *) |
|
|
|
Reimplemented from SDSolver.
|
Reimplemented from SDSolver.
|
Reimplemented from SDSolver.
Reimplemented in CopyPropSolver, LivenessSolver, and ReachingDefsSolver.