awali::sttc::internal::automaton_decorator< Aut, Context > Class Template Reference

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

#include <automaton_decorator.hh>

Inheritance diagram for awali::sttc::internal::automaton_decorator< Aut, Context >:

Public Types
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	automaton_t = Aut
	The type of automaton to wrap. More...
using	context_t = Context
using	kind_t = typename context_t::kind_t
using	label_t = typename labelset_t::value_t
using	labelset_ptr = typename context_t::labelset_ptr
using	labelset_t = typename context_t::labelset_t
using	weight_t = typename weightset_t::value_t
using	weightset_ptr = typename context_t::weightset_ptr
using	weightset_t = typename context_t::weightset_t

Public Member Functions
	automaton_decorator (automaton_decorator &&aut)
	automaton_decorator (automaton_t aut)
	automaton_decorator (const automaton_decorator &aut)
	automaton_decorator (const context_t &ctx)
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_state (Args &&... args) -> decltype(aut_-> add_state(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	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	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	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_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	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	lmul_weight (Args &&... args) -> decltype(aut_-> lmul_weight(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	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)...))
automaton_decorator &	operator= (automaton_decorator &&that)
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	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	src_of (Args &&... args) const -> decltype(aut_-> src_of(std::forward< Args >(args)...))
template<typename... Args>
auto	states (Args &&... args) const -> decltype(aut_-> states(std::forward< Args >(args)...))
automaton_t	strip_history ()
template<typename... Args>
auto	transitions (Args &&... args) const -> decltype(aut_-> transitions(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)...))
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)...))

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 awali::sttc::internal::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.

Member Typedef Documentation

automaton_nocv_t

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::internal::automaton_decorator< Aut, Context >::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.

automaton_t

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::internal::automaton_decorator< Aut, Context >::automaton_t = Aut

The type of automaton to wrap.

context_t

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::internal::automaton_decorator< Aut, Context >::context_t = Context

kind_t

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::internal::automaton_decorator< Aut, Context >::kind_t = typename context_t::kind_t

label_t

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::internal::automaton_decorator< Aut, Context >::label_t = typename labelset_t::value_t

labelset_ptr

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::internal::automaton_decorator< Aut, Context >::labelset_ptr = typename context_t::labelset_ptr

labelset_t

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::internal::automaton_decorator< Aut, Context >::labelset_t = typename context_t::labelset_t

weight_t

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::internal::automaton_decorator< Aut, Context >::weight_t = typename weightset_t::value_t

weightset_ptr

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::internal::automaton_decorator< Aut, Context >::weightset_ptr = typename context_t::weightset_ptr

weightset_t

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::internal::automaton_decorator< Aut, Context >::weightset_t = typename context_t::weightset_t

Constructor & Destructor Documentation

automaton_decorator() [1/4]

template<typename Aut , typename Context = context_t_of<Aut>>

awali::sttc::internal::automaton_decorator< Aut, Context >::automaton_decorator

(

automaton_t

aut

)

automaton_decorator() [2/4]

template<typename Aut , typename Context = context_t_of<Aut>>

awali::sttc::internal::automaton_decorator< Aut, Context >::automaton_decorator

(

const automaton_decorator< Aut, Context > &

aut

)

automaton_decorator() [3/4]

template<typename Aut , typename Context = context_t_of<Aut>>

awali::sttc::internal::automaton_decorator< Aut, Context >::automaton_decorator

(

const context_t &

ctx

)

automaton_decorator() [4/4]

template<typename Aut , typename Context = context_t_of<Aut>>

awali::sttc::internal::automaton_decorator< Aut, Context >::automaton_decorator

(

automaton_decorator< Aut, Context > &&

aut

)

Member Function Documentation

add_final()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::add_final ( Args &&...  args ) -> decltype(aut_-> add_

final

add_initial()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::add_initial

(

Args &&...

args

)

-> decltype(aut_-> add_initial (std::forward<Args>(args)...))

add_state()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::add_state

(

Args &&...

args

)

-> decltype(aut_-> add_state (std::forward<Args>(args)...))

add_transition()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::add_transition

(

Args &&...

args

)

-> decltype(aut_-> add_transition (std::forward<Args>(args)...))

add_transition_copy()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::add_transition_copy

(

Args &&...

args

)

-> decltype(aut_-> add_transition_copy (std::forward<Args>(args)...))

add_weight()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::add_weight

(

Args &&...

args

)

-> decltype(aut_-> add_weight (std::forward<Args>(args)...))

all_in()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::all_in

(

Args &&...

args

)

const -> decltype(aut_-> all_in (std::forward<Args>(args)...))

all_out()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::all_out

(

Args &&...

args

)

const -> decltype(aut_-> all_out (std::forward<Args>(args)...))

all_states()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::all_states

(

Args &&...

args

)

const -> decltype(aut_-> all_states (std::forward<Args>(args)...))

all_transitions()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::all_transitions

(

Args &&...

args

)

const -> decltype(aut_-> all_transitions (std::forward<Args>(args)...))

context()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::context

(

Args &&...

args

)

const -> decltype(aut_-> context (std::forward<Args>(args)...))

del_state()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::del_state

(

Args &&...

args

)

-> decltype(aut_-> del_state (std::forward<Args>(args)...))

del_transition()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::del_transition

(

Args &&...

args

)

-> decltype(aut_-> del_transition (std::forward<Args>(args)...))

dst_of()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::dst_of

(

Args &&...

args

)

const -> decltype(aut_-> dst_of (std::forward<Args>(args)...))

final_transitions()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::final_transitions ( Args &&...  args ) const -> decltype(aut_->

final

get_final_weight()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::get_final_weight ( Args &&...  args ) const -> decltype(aut_-> get_

final

get_initial_weight()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::get_initial_weight

(

Args &&...

args

)

const -> decltype(aut_-> get_initial_weight (std::forward<Args>(args)...))

get_transition()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::get_transition

(

Args &&...

args

)

const -> decltype(aut_-> get_transition (std::forward<Args>(args)...))

has_state()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::has_state

(

Args &&...

args

)

const -> decltype(aut_-> has_state (std::forward<Args>(args)...))

has_transition()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::has_transition

(

Args &&...

args

)

const -> decltype(aut_-> has_transition (std::forward<Args>(args)...))

in()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::in

(

Args &&...

args

)

const -> decltype(aut_-> in (std::forward<Args>(args)...))

initial_transitions()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::initial_transitions

(

Args &&...

args

)

const -> decltype(aut_-> initial_transitions (std::forward<Args>(args)...))

is_final()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::is_final ( Args &&...  args ) const -> decltype(aut_-> is_

final

is_initial()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::is_initial

(

Args &&...

args

)

const -> decltype(aut_-> is_initial (std::forward<Args>(args)...))

label_of()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::label_of

(

Args &&...

args

)

const -> decltype(aut_-> label_of (std::forward<Args>(args)...))

labelset()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::labelset

(

Args &&...

args

)

const -> decltype(aut_-> labelset (std::forward<Args>(args)...))

lmul_weight()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::lmul_weight

(

Args &&...

args

)

-> decltype(aut_-> lmul_weight (std::forward<Args>(args)...))

new_transition()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::new_transition

(

Args &&...

args

)

-> decltype(aut_-> new_transition (std::forward<Args>(args)...))

new_transition_copy()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::new_transition_copy

(

Args &&...

args

)

-> decltype(aut_-> new_transition_copy (std::forward<Args>(args)...))

null_state()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

static constexpr auto awali::sttc::internal::automaton_decorator< Aut, Context >::null_state ( Args &&...  args ) -> decltype(automaton_t::element_type:: null_state (std::forward<Args>(args)...))

staticconstexpr

null_transition()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

static constexpr auto awali::sttc::internal::automaton_decorator< Aut, Context >::null_transition ( Args &&...  args ) -> decltype(automaton_t::element_type:: null_transition (std::forward<Args>(args)...))

staticconstexpr

num_all_states()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::num_all_states

(

Args &&...

args

)

const -> decltype(aut_-> num_all_states (std::forward<Args>(args)...))

num_finals()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::num_finals ( Args &&...  args ) const -> decltype(aut_-> num_

final

num_initials()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::num_initials

(

Args &&...

args

)

const -> decltype(aut_-> num_initials (std::forward<Args>(args)...))

num_states()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::num_states

(

Args &&...

args

)

const -> decltype(aut_-> num_states (std::forward<Args>(args)...))

num_transitions()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::num_transitions

(

Args &&...

args

)

const -> decltype(aut_-> num_transitions (std::forward<Args>(args)...))

operator=()

template<typename Aut , typename Context = context_t_of<Aut>>

automaton_decorator& awali::sttc::internal::automaton_decorator< Aut, Context >::operator=

(

automaton_decorator< Aut, Context > &&

that

)

out()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::out

(

Args &&...

args

)

const -> decltype(aut_-> out (std::forward<Args>(args)...))

outin()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::outin

(

Args &&...

args

)

const -> decltype(aut_-> outin (std::forward<Args>(args)...))

post()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

static constexpr auto awali::sttc::internal::automaton_decorator< Aut, Context >::post ( Args &&...  args ) -> decltype(automaton_t::element_type:: post (std::forward<Args>(args)...))

staticconstexpr

pre()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

static constexpr auto awali::sttc::internal::automaton_decorator< Aut, Context >::pre ( Args &&...  args ) -> decltype(automaton_t::element_type:: pre (std::forward<Args>(args)...))

staticconstexpr

print_state()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::print_state

(

Args &&...

args

)

const -> decltype(aut_-> print_state (std::forward<Args>(args)...))

print_state_name()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::print_state_name

(

Args &&...

args

)

const -> decltype(aut_-> print_state_name (std::forward<Args>(args)...))

rmul_weight()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::rmul_weight

(

Args &&...

args

)

-> decltype(aut_-> rmul_weight (std::forward<Args>(args)...))

set_final()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::set_final ( Args &&...  args ) -> decltype(aut_-> set_

final

set_initial()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::set_initial

(

Args &&...

args

)

-> decltype(aut_-> set_initial (std::forward<Args>(args)...))

set_transition()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::set_transition

(

Args &&...

args

)

-> decltype(aut_-> set_transition (std::forward<Args>(args)...))

set_weight()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::set_weight

(

Args &&...

args

)

-> decltype(aut_-> set_weight (std::forward<Args>(args)...))

sname()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

static constexpr auto awali::sttc::internal::automaton_decorator< Aut, Context >::sname ( Args &&...  args ) -> decltype(automaton_t::element_type:: sname (std::forward<Args>(args)...))

staticconstexpr

src_of()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::src_of

(

Args &&...

args

)

const -> decltype(aut_-> src_of (std::forward<Args>(args)...))

states()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::states

(

Args &&...

args

)

const -> decltype(aut_-> states (std::forward<Args>(args)...))

strip_history()

template<typename Aut , typename Context = context_t_of<Aut>>

automaton_t awali::sttc::internal::automaton_decorator< Aut, Context >::strip_history

(

)

transitions()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::transitions

(

Args &&...

args

)

const -> decltype(aut_-> transitions (std::forward<Args>(args)...))

unset_final()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::unset_final ( Args &&...  args ) -> decltype(aut_-> unset_

final

unset_initial()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::unset_initial

(

Args &&...

args

)

-> decltype(aut_-> unset_initial (std::forward<Args>(args)...))

vname()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::vname

(

Args &&...

args

)

const -> decltype(aut_-> vname (std::forward<Args>(args)...))

weight_of()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::weight_of

(

Args &&...

args

)

const -> decltype(aut_-> weight_of (std::forward<Args>(args)...))

weightset()

template<typename Aut , typename Context = context_t_of<Aut>>

template<typename... Args>

auto awali::sttc::internal::automaton_decorator< Aut, Context >::weightset

(

Args &&...

args

)

const -> decltype(aut_-> weightset (std::forward<Args>(args)...))

Field Documentation

aut_

template<typename Aut , typename Context = context_t_of<Aut>>

automaton_t awali::sttc::internal::automaton_decorator< Aut, Context >::aut_

protected

The wrapped automaton, possibly const.

---

The documentation for this class was generated from the following file:

• /home/marsault/git-client/vcsn.telecom-paristech.fr/awali.git/awali/sttc/core/automaton_decorator.hh