graph.hh File Reference

#include <unordered_map>
#include <vector>
#include <awali/dyn/core/automaton.hh>

Go to the source code of this file.

Data Structures
struct	awali::dyn::scc_return_t

Namespaces
	awali
	Main namespace of Awali.
	awali::dyn
	Namespace for the dynamical layer of Awali.

Functions
automaton_t	awali::dyn::condensation (automaton_t aut)
	Computes the condensation of an automaton; it results from reducing each strongly connected component of the original automaton to a single state. More...
std::vector< state_t >	awali::dyn::scc_of (automaton_t aut, state_t s)
	Returns the strongly connected component of a state. More...
scc_return_t	awali::dyn::strongly_connected_components (automaton_t aut)
	Computes the strongly connected components of an automaton. More...

---

Data Structure Documentation

awali::dyn::scc_return_t

struct awali::dyn::scc_return_t

Data Fields
vector< vector< state_t > >	partition	Partition of the states into strongly connected components.
unordered_map< state_t, unsigned int >	scc_of	Map of states to their strongly connected component.