PandA-2024.02
|
This file contains the structures needed to manage a graph that will represent the state transition graph. More...
Go to the source code of this file.
Data Structures | |
class | StateTransitionGraphManager |
Class used to manage a graph into finite state machine representation; it contains methods to build the graph, to add nodes, edges... More... | |
Macros | |
#define | STATE_NAME_PREFIX "S_" |
state name prefix More... | |
Typedefs | |
using | StateTransitionGraphManagerRef = refcount< StateTransitionGraphManager > |
refcount definition to allocate the class More... | |
using | StateTransitionGraphManagerConstRef = refcount< const StateTransitionGraphManager > |
This file contains the structures needed to manage a graph that will represent the state transition graph.
Definition in file state_transition_graph_manager.hpp.
#define STATE_NAME_PREFIX "S_" |
state name prefix
Definition at line 221 of file state_transition_graph_manager.hpp.
Referenced by StateTransitionGraph_constructor::create_state(), VHDL_writer::write_state_declaration(), and verilog_writer::write_state_declaration().
Definition at line 218 of file state_transition_graph_manager.hpp.
refcount definition to allocate the class
Definition at line 217 of file state_transition_graph_manager.hpp.
CONSTREF_FORWARD_DECL | ( | FunctionBehavior | ) |
Graph include.
Refcount include
CONSTREF_FORWARD_DECL | ( | hls | ) |
CONSTREF_FORWARD_DECL | ( | HLS_manager | ) |
CONSTREF_FORWARD_DECL | ( | OpGraph | ) |
CONSTREF_FORWARD_DECL | ( | StateTransitionGraph | ) |
REF_FORWARD_DECL | ( | hls | ) |
REF_FORWARD_DECL | ( | StateTransitionGraph | ) |
REF_FORWARD_DECL | ( | StateTransitionGraph_constructor | ) |
REF_FORWARD_DECL | ( | StateTransitionGraphsCollection | ) |
REF_FORWARD_DECL | ( | structural_object | ) |
REF_FORWARD_DECL | ( | generic_obj | ) |
REF_FORWARD_DECL | ( | structural_manager | ) |