distance.hh File Reference

#include <algorithm>
#include <iostream>
#include <queue>
#include <unordered_set>
#include <unordered_map>
#include <vector>
#include <awali/sttc/algos/copy.hh>
#include <awali/sttc/ctx/context.hh>
#include <awali/sttc/misc/pair.hh>

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.

Functions
template<typename Aut >
std::vector< transition_t >	awali::sttc::path_bfs (const Aut &aut, state_t start, state_t end)
template<typename Aut >
std::unordered_map< state_t, std::pair< unsigned, transition_t > >	awali::sttc::paths_ibfs (const Aut &aut, std::vector< state_t > start)