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	context_t = Context

using	element_type = typename automaton_t::element_type
	The automaton type, without shared_ptr. More...

template<typename Ctx = context_t>
using	fresh_automaton_t = typename element_type::template fresh_automaton_t< Ctx >
	The (shared pointer) type to use it we have to create an automaton of the same (underlying) type. More...

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 >

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 ()
	The automaton we decorate. More...

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	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_state (Args &&...args) const -> decltype(aut_-> has_state(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	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	prepost_label (Args &&...args) const -> decltype(aut_-> prepost_label(std::forward< Args >(args)...))

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

template<typename... Args>
auto	print_set (Args &&...args) const -> decltype(aut_-> print_set(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	is_lazy (Args &&...args) const -> decltype(aut_-> is_lazy(std::forward< Args >(args)...))

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

template<typename... Args>
auto	states (Args &&...args) const -> decltype(aut_-> states(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	lweight (Args &&...args) -> decltype(aut_-> lweight(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	rweight (Args &&...args) -> decltype(aut_-> rweight(std::forward< Args >(args)...))

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

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

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

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	lazy_transition (Args &&...args) -> decltype(element_type::lazy_transition(std::forward< Args >(args)...))

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

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

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

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

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

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

Detailed Description

template<Automaton 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.