StateTransitionGraph_constructor.hpp File Reference

File contanining the structures necessary to manage a graph that will represent a state transition graph. More...

#include "graph.hpp"
#include "refcount.hpp"

Include dependency graph for StateTransitionGraph_constructor.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	StateTransitionGraph_constructor

Typedefs
using	StateTransitionGraph_constructorRef = refcount< StateTransitionGraph_constructor >
	refcount definition to StateTransitionGraph_constructor class More...

Functions
	CONSTREF_FORWARD_DECL (HLS_manager)
	CONSTREF_FORWARD_DECL (OpGraph)
	REF_FORWARD_DECL (StateTransitionGraph)
	REF_FORWARD_DECL (StateTransitionGraphsCollection)

Detailed Description

File contanining the structures necessary to manage a graph that will represent a state transition graph.

This file contains the necessary data structures used to represent a graph used to represent a state transition graph

Author

Christian Pilato pilat.nosp@m.o@el.nosp@m.et.po.nosp@m.limi.nosp@m..it

Fabrizio Ferrandi fabri.nosp@m.zio..nosp@m.ferra.nosp@m.ndi@.nosp@m.polim.nosp@m.i.it $Revision$ $Date$ Last modified by $Author$

Definition in file StateTransitionGraph_constructor.hpp.

Typedef Documentation

StateTransitionGraph_constructorRef

using StateTransitionGraph_constructorRef = refcount<StateTransitionGraph_constructor>

refcount definition to StateTransitionGraph_constructor class

Definition at line 156 of file StateTransitionGraph_constructor.hpp.

Function Documentation

CONSTREF_FORWARD_DECL() [1/2]

CONSTREF_FORWARD_DECL

(

HLS_manager

)

CONSTREF_FORWARD_DECL() [2/2]

CONSTREF_FORWARD_DECL

(

OpGraph

)

REF_FORWARD_DECL() [1/2]

REF_FORWARD_DECL

(

StateTransitionGraph

)

REF_FORWARD_DECL() [2/2]

REF_FORWARD_DECL

(

StateTransitionGraphsCollection

)