outsplit.hh File Reference

#include <unordered_set>
#include <awali/sttc/labelset/tupleset.hh>
#include <awali/sttc/algos/copy.hh>
#include <awali/sttc/misc/pair.hh>
#include <awali/sttc/misc/attributes.hh>
#include <awali/sttc/algos/sort.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::internal::outsplitter< Aut >
struct	awali::sttc::internal::select_one< tupleset< T... >, I >

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<size_t I, typename Aut >
Aut	awali::sttc::outsplit (const Aut &aut, bool keep_history=true)
template<size_t I, typename Aut >
std::enable_if<!internal::select_one< labelset_t_of< Aut >, I >::has_one(), void >::type	awali::sttc::outsplit_here (Aut &)
template<size_t I, typename Aut >
std::enable_if< internal::select_one< labelset_t_of< Aut >, I >::has_one(), void >::type	awali::sttc::outsplit_here (Aut &aut)