real_time.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::realtimer< 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_realtime (const Tdc &tdc)
template<typename Tdc >
bool	awali::sttc::is_sequential_tdc (const Tdc &tdc)
template<typename Tdc >
auto	awali::sttc::realtime (const Tdc &tdc, bool keep_history=true) -> typename internal::realtimer< Tdc >::automaton_t

Macro Definition Documentation

DETAILS_APPEND

#define DETAILS_APPEND