Aggregate an automaton, and forward calls to it. More...

#include <automaton-decorator.hh>

Inheritance diagram for vcsn::detail::automaton_decorator< Aut, Context >:

Collaboration diagram for vcsn::detail::automaton_decorator< Aut, Context >:

Public Types
using	automaton_t = Aut
	The type of automaton to wrap. More...

using	automaton_nocv_t = typename automaton_t::element_type::automaton_nocv_t
	The (shared pointer) type to use it we have to create an automaton of the same (underlying) type. More...

using	context_t = Context

using	kind_t = typename context_t::kind_t

using	labelset_t = typename context_t::labelset_t

using	labelset_ptr = typename context_t::labelset_ptr

using	label_t = typename labelset_t::value_t

using	weightset_t = typename context_t::weightset_t

using	weightset_ptr = typename context_t::weightset_ptr

using	weight_t = typename weightset_t::value_t

using	state_t = state_t_of< automaton_t >

using	transition_t = transition_t_of< automaton_t >

using	transitions_output_t = typename Aut::element_type::transitions_output_t

Public Member Functions
	automaton_decorator (automaton_t aut)

	automaton_decorator (const automaton_decorator &aut)

	automaton_decorator (const context_t &ctx)

	automaton_decorator (automaton_decorator &&aut)

automaton_decorator &	operator= (automaton_decorator &&that)

automaton_t	strip ()

template<typename... Args>
auto	all_in (Args &&...args) const -> decltype(aut_-> all_in(std::forward< Args >(args)...))

template<typename... Args>
auto	all_out (Args &&...args) const -> decltype(aut_-> all_out(std::forward< Args >(args)...))

template<typename... Args>
auto	all_states (Args &&...args) const -> decltype(aut_-> all_states(std::forward< Args >(args)...))

template<typename... Args>
auto	all_transitions (Args &&...args) const -> decltype(aut_-> all_transitions(std::forward< Args >(args)...))

template<typename... Args>
auto	context (Args &&...args) const -> decltype(aut_-> context(std::forward< Args >(args)...))

template<typename... Args>
auto	dst_of (Args &&...args) const -> decltype(aut_-> dst_of(std::forward< Args >(args)...))

template<typename... Args>
auto	final_transitions (Args &&...args) const -> decltype(aut_-> final _transitions(std

template<typename... Args>
auto	get_final_weight (Args &&...args) const -> decltype(aut_-> get_ final _weight(std

template<typename... Args>
auto	get_initial_weight (Args &&...args) const -> decltype(aut_-> get_initial_weight(std::forward< Args >(args)...))

template<typename... Args>
auto	get_transition (Args &&...args) const -> decltype(aut_-> get_transition(std::forward< Args >(args)...))

template<typename... Args>
auto	has_transition (Args &&...args) const -> decltype(aut_-> has_transition(std::forward< Args >(args)...))

template<typename... Args>
auto	has_state (Args &&...args) const -> decltype(aut_-> has_state(std::forward< Args >(args)...))

template<typename... Args>
auto	in (Args &&...args) const -> decltype(aut_-> in(std::forward< Args >(args)...))

template<typename... Args>
auto	initial_transitions (Args &&...args) const -> decltype(aut_-> initial_transitions(std::forward< Args >(args)...))

template<typename... Args>
auto	is_final (Args &&...args) const -> decltype(aut_-> is_ final(std

template<typename... Args>
auto	is_initial (Args &&...args) const -> decltype(aut_-> is_initial(std::forward< Args >(args)...))

template<typename... Args>
auto	label_of (Args &&...args) const -> decltype(aut_-> label_of(std::forward< Args >(args)...))

template<typename... Args>
auto	labelset (Args &&...args) const -> decltype(aut_-> labelset(std::forward< Args >(args)...))

template<typename... Args>
auto	num_all_states (Args &&...args) const -> decltype(aut_-> num_all_states(std::forward< Args >(args)...))

template<typename... Args>
auto	num_finals (Args &&...args) const -> decltype(aut_-> num_ final s(std

template<typename... Args>
auto	num_initials (Args &&...args) const -> decltype(aut_-> num_initials(std::forward< Args >(args)...))

template<typename... Args>
auto	num_states (Args &&...args) const -> decltype(aut_-> num_states(std::forward< Args >(args)...))

template<typename... Args>
auto	num_transitions (Args &&...args) const -> decltype(aut_-> num_transitions(std::forward< Args >(args)...))

template<typename... Args>
auto	out (Args &&...args) const -> decltype(aut_-> out(std::forward< Args >(args)...))

template<typename... Args>
auto	outin (Args &&...args) const -> decltype(aut_-> outin(std::forward< Args >(args)...))

template<typename... Args>
auto	print_state (Args &&...args) const -> decltype(aut_-> print_state(std::forward< Args >(args)...))

template<typename... Args>
auto	print_state_name (Args &&...args) const -> decltype(aut_-> print_state_name(std::forward< Args >(args)...))

template<typename... Args>
auto	src_of (Args &&...args) const -> decltype(aut_-> src_of(std::forward< Args >(args)...))

template<typename... Args>
auto	state_has_name (Args &&...args) const -> decltype(aut_-> state_has_name(std::forward< Args >(args)...))

template<typename... Args>
auto	states (Args &&...args) const -> decltype(aut_-> states(std::forward< Args >(args)...))

template<typename... Args>
auto	transitions (Args &&...args) const -> decltype(aut_-> transitions(std::forward< Args >(args)...))

template<typename... Args>
auto	vname (Args &&...args) const -> decltype(aut_-> vname(std::forward< Args >(args)...))

template<typename... Args>
auto	weight_of (Args &&...args) const -> decltype(aut_-> weight_of(std::forward< Args >(args)...))

template<typename... Args>
auto	weightset (Args &&...args) const -> decltype(aut_-> weightset(std::forward< Args >(args)...))

template<typename... Args>
auto	add_final (Args &&...args) -> decltype(aut_-> add_ final(std

template<typename... Args>
auto	add_initial (Args &&...args) -> decltype(aut_-> add_initial(std::forward< Args >(args)...))

template<typename... Args>
auto	add_transition (Args &&...args) -> decltype(aut_-> add_transition(std::forward< Args >(args)...))

template<typename... Args>
auto	add_transition_copy (Args &&...args) -> decltype(aut_-> add_transition_copy(std::forward< Args >(args)...))

template<typename... Args>
auto	add_weight (Args &&...args) -> decltype(aut_-> add_weight(std::forward< Args >(args)...))

template<typename... Args>
auto	del_state (Args &&...args) -> decltype(aut_-> del_state(std::forward< Args >(args)...))

template<typename... Args>
auto	del_transition (Args &&...args) -> decltype(aut_-> del_transition(std::forward< Args >(args)...))

template<typename... Args>
auto	lmul_weight (Args &&...args) -> decltype(aut_-> lmul_weight(std::forward< Args >(args)...))

template<typename... Args>
auto	new_state (Args &&...args) -> decltype(aut_-> new_state(std::forward< Args >(args)...))

template<typename... Args>
auto	new_transition (Args &&...args) -> decltype(aut_-> new_transition(std::forward< Args >(args)...))

template<typename... Args>
auto	new_transition_copy (Args &&...args) -> decltype(aut_-> new_transition_copy(std::forward< Args >(args)...))

template<typename... Args>
auto	rmul_weight (Args &&...args) -> decltype(aut_-> rmul_weight(std::forward< Args >(args)...))

template<typename... Args>
auto	set_final (Args &&...args) -> decltype(aut_-> set_ final(std

template<typename... Args>
auto	set_initial (Args &&...args) -> decltype(aut_-> set_initial(std::forward< Args >(args)...))

template<typename... Args>
auto	set_transition (Args &&...args) -> decltype(aut_-> set_transition(std::forward< Args >(args)...))

template<typename... Args>
auto	set_weight (Args &&...args) -> decltype(aut_-> set_weight(std::forward< Args >(args)...))

template<typename... Args>
auto	unset_final (Args &&...args) -> decltype(aut_-> unset_ final(std

template<typename... Args>
auto	unset_initial (Args &&...args) -> decltype(aut_-> unset_initial(std::forward< Args >(args)...))

Static Public Member Functions
template<typename... Args>
static constexpr auto	null_state (Args &&...args) -> decltype(automaton_t::element_type::null_state(std::forward< Args >(args)...))

template<typename... Args>
static constexpr auto	null_transition (Args &&...args) -> decltype(automaton_t::element_type::null_transition(std::forward< Args >(args)...))

template<typename... Args>
static constexpr auto	post (Args &&...args) -> decltype(automaton_t::element_type::post(std::forward< Args >(args)...))

template<typename... Args>
static constexpr auto	pre (Args &&...args) -> decltype(automaton_t::element_type::pre(std::forward< Args >(args)...))

template<typename... Args>
static constexpr auto	sname (Args &&...args) -> decltype(automaton_t::element_type::sname(std::forward< Args >(args)...))

Protected Attributes
automaton_t	aut_
	The wrapped automaton, possibly const. More...

Detailed Description

template<typename Aut, typename Context = context_t_of<Aut>>
class vcsn::detail::automaton_decorator< Aut, Context >

Aggregate an automaton, and forward calls to it.

Template Parameters

Aut	The type of the wrapped automaton.
Context	The context we pretend to feature.

Definition at line 19 of file automaton-decorator.hh.