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

#include "StateTransitionGraph_constructor.hpp"
#include "hls_manager.hpp"
#include "op_graph.hpp"
#include "state_transition_graph.hpp"
#include "state_transition_graph_manager.hpp"

Include dependency graph for StateTransitionGraph_constructor.cpp:

Go to the source code of this file.

Detailed Description

File containing 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 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.cpp.