merge.hh File Reference

#include <algorithm>
#include <unordered_map>
#include <unordered_set>
#include <awali/sttc/algos/accessible.hh>
#include <awali/sttc/algos/determinize.hh>
#include <awali/sttc/history/partition_history.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::internal::merger< Aut, StateList >

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::internal
	Implementation details of static layer (not stable).

Functions
template<typename Aut , typename StateList >
auto	awali::sttc::merge (const Aut &a, std::vector< StateList > &classes, bool keep_history=true) -> Aut