40 #ifndef OP_REACHABILITY_COMPUTATION_HPP 41 #define OP_REACHABILITY_COMPUTATION_HPP OpReachabilityComputation(const ParameterConstRef Param, const application_managerRef AppM, unsigned int function_id, const DesignFlowManagerConstRef design_flow_manager)
Constructor.
~OpReachabilityComputation() override
Destructor.
RelationshipType
The relationship type.
DesignFlowStep_Status InternalExec() override
Computes the reachability between operations according to the control flow graph WITHOUT feedback...
This class contains the base representation for a generic frontend flow step which works on a single ...
void Initialize() override
Initialize the step (i.e., like a constructor, but executed just before exec.
const Wrefcount< const DesignFlowManager > design_flow_manager
The design flow manager.
DesignFlowStep_Status
The status of a step.
const unsigned int function_id
The index of the function to be analyzed.
const application_managerRef AppM
The application manager.
Template borrowed from the ANTLR library by Terence Parr (http://www.jGuru.com - Software rights: htt...
const CustomUnorderedSet< std::pair< FrontendFlowStepType, FunctionRelationship > > ComputeFrontendRelationships(const DesignFlowStep::RelationshipType relationship_type) const override
Return the set of analyses in relationship with this design step.