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

#include <edge_info.hpp>
#include <graph_info.hpp>
#include <node_info.hpp>
#include <graph.hpp>
#include "custom_set.hpp"
#include "refcount.hpp"
#include "string_manipulation.hpp"

Include dependency graph for state_transition_graph.hpp:

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

Go to the source code of this file.

Data Structures
struct	StateInfo
	Structure holding information about a node into graph. More...

class	TransitionInfo
	Structure holding the information about an edge into the graph. More...

struct	StateTransitionGraphInfo
	Structure holding information about the whole graph. More...

class	StateTransitionGraphsCollection
	This structure defines the bulk for the state transition graph. More...

struct	StateTransitionGraph
	Class used to describe a state transition graph. More...

class	StateWriter
	Functor template used to write the content of the nodes to a dotty file. More...

class	TransitionWriter
	Functor used to write the content of the edges to a dotty file and it is used to write specific edge properties such as condition. More...

class	last_intermediate_state

class	next_unique_state

Forward declarations
Superclasses includ Graph include STL includes Utility includes
enum	transition_type : int { DONTCARE_COND = 0, TRUE_COND, FALSE_COND, CASE_COND, ALL_FINISHED, NOT_ALL_FINISHED }

using	StateInfoRef = refcount< StateInfo >
	refcount definition More...

using	StateInfoConstRef = refcount< const StateInfo >

using	TransitionInfoRef = refcount< TransitionInfo >
	refcount about edge info More...

using	TransitionInfoConstRef = refcount< const TransitionInfo >

using	StateTransitionGraphInfoRef = refcount< StateTransitionGraphInfo >
	definition of the refcount More...

using	StateTransitionGraphInfoConstRef = refcount< const StateTransitionGraphInfo >

using	StateTransitionGraphsCollectionRef = refcount< StateTransitionGraphsCollection >
	refcount definition of the class More...

using	StateTransitionGraphsCollectionConstRef = refcount< const StateTransitionGraphsCollection >

using	StateTransitionGraphRef = refcount< StateTransitionGraph >
	refcount definition of the class More...

using	StateTransitionGraphConstRef = refcount< const StateTransitionGraph >

	CONSTREF_FORWARD_DECL (BehavioralHelper)

	CONSTREF_FORWARD_DECL (OpGraph)

	REF_FORWARD_DECL (Parameter)

Detailed Description

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

This file contains the needed data structures used to represent a graph used to represent a state transition graph associated to the specification. The State Transition Graph (STG) is defined as follows:

the nodes represent the states to be executed. Each node contains the set of operations to be executed when the control reaches the related state.
the edges represent the transition, subjected to the related conditions. In particular, a condition is the result of the evaluation of a control operation that modifies the control flow.