PandA-2024.02
Data Structures | Macros | Typedefs | Functions
state_transition_graph_manager.hpp File Reference

This file contains the structures needed to manage a graph that will represent the state transition graph. More...

#include "graph.hpp"
#include "refcount.hpp"
Include dependency graph for state_transition_graph_manager.hpp:
This graph shows which files directly or indirectly include this file:

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 >
 

Functions

 CONSTREF_FORWARD_DECL (FunctionBehavior)
 Graph include. More...
 
 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)
 

Detailed Description

This file contains the structures needed to manage a graph that will represent the state transition graph.

Author
Christian Pilato pilat.nosp@m.o@el.nosp@m.et.po.nosp@m.limi.nosp@m..it $Revision$ $Date$ Last modified by $Author$

Definition in file state_transition_graph_manager.hpp.

Macro Definition Documentation

◆ STATE_NAME_PREFIX

#define STATE_NAME_PREFIX   "S_"

Typedef Documentation

◆ StateTransitionGraphManagerConstRef

Definition at line 218 of file state_transition_graph_manager.hpp.

◆ StateTransitionGraphManagerRef

refcount definition to allocate the class

Definition at line 217 of file state_transition_graph_manager.hpp.

Function Documentation

◆ CONSTREF_FORWARD_DECL() [1/5]

CONSTREF_FORWARD_DECL ( FunctionBehavior  )

Graph include.

Refcount include

◆ CONSTREF_FORWARD_DECL() [2/5]

CONSTREF_FORWARD_DECL ( hls  )

◆ CONSTREF_FORWARD_DECL() [3/5]

CONSTREF_FORWARD_DECL ( HLS_manager  )

◆ CONSTREF_FORWARD_DECL() [4/5]

CONSTREF_FORWARD_DECL ( OpGraph  )

◆ CONSTREF_FORWARD_DECL() [5/5]

CONSTREF_FORWARD_DECL ( StateTransitionGraph  )

◆ REF_FORWARD_DECL() [1/7]

REF_FORWARD_DECL ( hls  )

◆ REF_FORWARD_DECL() [2/7]

REF_FORWARD_DECL ( StateTransitionGraph  )

◆ REF_FORWARD_DECL() [3/7]

REF_FORWARD_DECL ( StateTransitionGraph_constructor  )

◆ REF_FORWARD_DECL() [4/7]

REF_FORWARD_DECL ( StateTransitionGraphsCollection  )

◆ REF_FORWARD_DECL() [5/7]

REF_FORWARD_DECL ( structural_object  )

◆ REF_FORWARD_DECL() [6/7]

REF_FORWARD_DECL ( generic_obj  )

◆ REF_FORWARD_DECL() [7/7]

REF_FORWARD_DECL ( structural_manager  )

Generated on Mon Feb 12 2024 13:03:31 for PandA-2024.02 by doxygen 1.8.13