Main Page   Class Hierarchy   Compound List   File List   Compound Members   File Members  

FSolver Class Reference

#include <flat_solver.h>

Inheritance diagram for FSolver:

SDSolver CopyPropSolver LivenessSolver ReachingDefsSolver List of all members.

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 *)


Detailed Description


Constructor & Destructor Documentation

FSolver::FSolver ( SuperGraph * graph)

FSolver::~FSolver () [virtual]


Member Function Documentation

bool FSolver::apply_region_exit_transfer ( SGraphNode node) [virtual]

Reimplemented from SDSolver.

bool FSolver::apply_subregion_entry_transfer ( SuperGraphRegion * sub_region) [virtual]

Reimplemented from SDSolver.

virtual bool FSolver::apply_transfer ( SGraphNode node) [pure virtual]

Reimplemented from SDSolver.

Reimplemented in CopyPropSolver, LivenessSolver, and ReachingDefsSolver.


The documentation for this class was generated from the following files:
Generated at Mon Jul 31 13:43:11 2000 for NCI SUIF by doxygen 1.1.2 written by Dimitri van Heesch, © 1997-2000