41 #ifndef FSM_CONTROLLER_HPP 42 #define FSM_CONTROLLER_HPP virtual void add_correct_transition_memory(const std::string &state_representation, structural_managerRef SM)
Set the correct NP functionality.
const HLS_managerRef HLSMgr
information about all the HLS synthesis
void create_state_machine(std::string &parse)
Generates the string representation of the FSM.
DesignFlowStep_Status InternalExec() override
Execute the step.
This class manages the tree structures extracted from the raw file.
const unsigned int funId
identifier of the function to be processed (0 means that it is a global step)
const HLSFlowStep_Type hls_flow_step_type
The type of this step.
CONSTREF_FORWARD_DECL(OpGraph)
std::string get_guard_value(const tree_managerRef TM, const unsigned int index, vertex op, const OpGraphConstRef data)
Returns the value of the guard value of a case_label_expr default is not managed. ...
fsm_controller(const ParameterConstRef Param, const HLS_managerRef HLSMgr, unsigned int funId, const DesignFlowManagerConstRef design_flow_manager, const HLSFlowStep_Type hls_flow_step_type=HLSFlowStep_Type::FSM_CONTROLLER_CREATOR)
Constructor.
boost::graph_traits< graph >::vertex_descriptor vertex
vertex definition.
const Wrefcount< const DesignFlowManager > design_flow_manager
The design flow manager.
Base class for all the controller creation algorithms.
DesignFlowStep_Status
The status of a step.
Generic class managing controller creation algorithms.
~fsm_controller() override
Destructor.
Class used to describe a particular graph with operations as nodes.
REF_FORWARD_DECL(tree_manager)
STD include.