StateTransitionGraphInfo Struct Reference

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

#include <state_transition_graph.hpp>

Inheritance diagram for StateTransitionGraphInfo:

Collaboration diagram for StateTransitionGraphInfo:

Public Member Functions
	StateTransitionGraphInfo (const OpGraphConstRef op_function_graph)
	Constructor. More...
Public Member Functions inherited from GraphInfo
	GraphInfo ()=default
	Constructor. More...
virtual	~GraphInfo ()=default
	Destructor. More...

Data Fields
const OpGraphConstRef	op_function_graph
	reference to operation graph More...
vertex	entry_node
	this vertex represents the entry state of the state transition graph More...
vertex	exit_node
	this vertex represents the exit state of the state transition graph More...
bool	is_a_dag
	true when the FSM has cycles More...
bool	bounded
unsigned int	min_cycles
	in case of a dag it is possible to compute the minimum number of cycles More...
unsigned int	max_cycles
	maximum number of cycles More...
std::map< unsigned int, vertex >	state_id_to_vertex
std::map< vertex, unsigned int >	vertex_to_state_id

Friends
class	StateTransitionGraph_constructor

Detailed Description

Structure holding information about the whole graph.

Definition at line 255 of file state_transition_graph.hpp.

Constructor & Destructor Documentation

StateTransitionGraphInfo()

StateTransitionGraphInfo::StateTransitionGraphInfo ( const OpGraphConstRef  op_function_graph )

explicit

Constructor.

Definition at line 351 of file state_transition_graph.cpp.

Friends And Related Function Documentation

StateTransitionGraph_constructor

friend class StateTransitionGraph_constructor

friend

Definition at line 285 of file state_transition_graph.hpp.

Field Documentation

bounded

bool StateTransitionGraphInfo::bounded

Definition at line 269 of file state_transition_graph.hpp.

entry_node

vertex StateTransitionGraphInfo::entry_node

this vertex represents the entry state of the state transition graph

Definition at line 261 of file state_transition_graph.hpp.

exit_node

vertex StateTransitionGraphInfo::exit_node

this vertex represents the exit state of the state transition graph

Definition at line 264 of file state_transition_graph.hpp.

is_a_dag

bool StateTransitionGraphInfo::is_a_dag

true when the FSM has cycles

Definition at line 267 of file state_transition_graph.hpp.

max_cycles

unsigned int StateTransitionGraphInfo::max_cycles

maximum number of cycles

Definition at line 274 of file state_transition_graph.hpp.

min_cycles

unsigned int StateTransitionGraphInfo::min_cycles

in case of a dag it is possible to compute the minimum number of cycles

Definition at line 272 of file state_transition_graph.hpp.

op_function_graph

const OpGraphConstRef StateTransitionGraphInfo::op_function_graph

reference to operation graph

Definition at line 258 of file state_transition_graph.hpp.

state_id_to_vertex

std::map<unsigned int, vertex> StateTransitionGraphInfo::state_id_to_vertex

Definition at line 276 of file state_transition_graph.hpp.

vertex_to_state_id

std::map<vertex, unsigned int> StateTransitionGraphInfo::vertex_to_state_id

Definition at line 278 of file state_transition_graph.hpp.

---

The documentation for this struct was generated from the following files:

• /workspace/src/HLS/stg/state_transition_graph.hpp
• /workspace/src/HLS/stg/state_transition_graph.cpp