stg Directory Reference

Directory dependency graph for stg:

Files
file	BB_based_stg.cpp [code]
file	BB_based_stg.hpp [code]
file	state_transition_graph.cpp [code]
	File contanining the structures necessary to manage a graph that will represent a state transition graph.
file	state_transition_graph.hpp [code]
	This file contains the structures needed to manage a graph that will represent the state transition graph.
file	state_transition_graph_manager.cpp [code]
file	state_transition_graph_manager.hpp [code]
	This file contains the structures needed to manage a graph that will represent the state transition graph.
file	StateTransitionGraph_constructor.cpp [code]
	File containing the structures necessary to manage a graph that will represent a state transition graph.
file	StateTransitionGraph_constructor.hpp [code]
	File contanining the structures necessary to manage a graph that will represent a state transition graph.
file	STG_creator.cpp [code]
	Base class for all STG creation algorithms.
file	STG_creator.hpp [code]
	Base class for all the STG creation algorithms.