mutable_automaton.hh File Reference

#include <algorithm>
#include <cassert>
#include <vector>
#include <sstream>
#include <string>
#include <awali/common/types.hh>
#include <awali/sttc/core/transition.hh>
#include <awali/sttc/ctx/context.hh>
#include <awali/sttc/ctx/traits.hh>
#include <awali/sttc/misc/memory.hh>
#include <awali/sttc/misc/cont_filter.hh>
#include <awali/sttc/history/no_history.hh>
#include <awali/sttc/history/string_history.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::internal::mutable_automaton_impl< Context >
struct	awali::sttc::internal::mutable_automaton_impl< Context >::stored_state_t
	Data stored for each state. More...

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

Typedefs
template<typename Context >
using	awali::sttc::mutable_automaton = std::shared_ptr< internal::mutable_automaton_impl< Context > >

Functions
template<typename Context >
mutable_automaton< Context >	awali::sttc::make_mutable_automaton (const Context &ctx)

---

Data Structure Documentation

awali::sttc::internal::mutable_automaton_impl::stored_state_t

struct awali::sttc::internal::mutable_automaton_impl::stored_state_t

template<typename Context>
struct awali::sttc::internal::mutable_automaton_impl< Context >::stored_state_t

Data stored for each state.

Data Fields
tr_cont_t	pred
tr_cont_t	succ