synchronize.hh File Reference

#include <awali/sttc/algos/proper.hh>
#include <awali/sttc/labelset/traits.hh>
#include <awali/sttc/misc/sub_tuple.hh>
#include <awali/sttc/misc/add_epsilon_trans.hh>
#include <unordered_map>
#include <map>
#include <stack>
#include <tuple>
#include <utility>

Go to the source code of this file.

Data Structures
struct	awali::sttc::internal::is_synchronizable_impl< Tdc >
class	awali::sttc::internal::synchronizer< Tdc >

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).

Macros
#define	DETAILS_APPEND

Functions
void	awali::sttc::internal::append (std::string &s, char c)
void	awali::sttc::internal::append (std::string &s, const std::string t)
template<typename Tdc >
bool	awali::sttc::is_synchronizable (Tdc tdc)
template<typename Tdc >
Tdc	awali::sttc::synchronize (const Tdc &tdc, bool keep_history=true)

Macro Definition Documentation

DETAILS_APPEND

#define DETAILS_APPEND