47 #ifndef STATETRANSITIONGRAPHCONSTR_HPP 48 #define STATETRANSITIONGRAPHCONSTR_HPP 93 vertex create_state(
const std::list<vertex>& exec_op,
const std::list<vertex>& start_op,
void create_exit_state()
create the STG exit vertex
const StateTransitionGraphsCollectionRef state_transition_graphs_collection
The bulk state transition graph.
Class specification of the graph structures.
This structure defines the bulk for the state transition graph.
vertex create_state(const std::list< vertex > &exec_op, const std::list< vertex > &start_op, const std::list< vertex > &end_op, const CustomOrderedSet< unsigned int > &BB_ids)
Adds a new state managing the operations given as parameters.
void set_unbounded_condition(const EdgeDescriptor &e, transition_type t, const CustomOrderedSet< vertex > &ops, vertex ref_state)
CONSTREF_FORWARD_DECL(HLS_manager)
StateTransitionGraph_constructor(const StateTransitionGraphsCollectionRef state_transition_graphs_collection, const HLS_managerConstRef HLSMgr, unsigned int funId)
Constructor of the class.
void delete_edge(const vertex &src, const vertex &tgt)
Removes the specified edge from the graph.
void copy_condition(const EdgeDescriptor &dest, const EdgeDescriptor &source)
copy condition from one edge to another
const StateTransitionGraphRef state_transition_graph
The complete state transition graph.
Class used to describe a state transition graph.
EdgeDescriptor connect_state(const vertex &src, const vertex &tgt, int type)
Creates a connection between two vertices into the graph.
void set_condition(const EdgeDescriptor &e, transition_type t, vertex ops)
Changes the control condition associated to an edge.
boost::graph_traits< graph >::vertex_descriptor vertex
vertex definition.
void set_switch_condition(const EdgeDescriptor &e, vertex op, const CustomOrderedSet< unsigned > &labels, bool has_default)
function setting the condition on edge derived from switch statements
Template definition of refcount.
void create_entry_state()
create the STG entry vertex
void delete_state(const vertex &src)
Removes the specified state from the graph.
const Wrefcount< const HLS_manager > HLSMgr
The HLSMgr.
REF_FORWARD_DECL(StateTransitionGraph)
Template borrowed from the ANTLR library by Terence Parr (http://www.jGuru.com - Software rights: htt...
unsigned int state_index
Index of the next state to be created.
Class used to describe a particular graph with operations as nodes.
boost::graph_traits< graph >::edge_descriptor EdgeDescriptor
edge definition.