Read-write view on an automaton, that transposes everything. More...

#include <fwd.hh>

Inheritance diagram for vcsn::detail::transpose_automaton_impl< Aut >:

Collaboration diagram for vcsn::detail::transpose_automaton_impl< Aut >:

Classes
struct	fresh_impl_
	The transpose of a fresh non-transposed automaton. More...

struct	fresh_impl_< transpose_automaton< Fresh > >
	The transpose of a fresh transposed automaton: the fresh type. More...

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

using	self_t = transpose_automaton< automaton_t >

using	super_t = automaton_decorator< automaton_t >

using	context_t = context_t_of< automaton_t >

template<typename Ctx = context_t>
using	fresh_automaton_t = typename fresh_impl_< fresh_automaton_t_of< automaton_t, Ctx >>::type
	The type to use to build an automaton of the same type: remove the inner const-volatile qualifiers, and transpose_automaton if needed. More...

using	state_t = state_t_of< automaton_t >

using	transition_t = transition_t_of< automaton_t >

using	label_t = label_t_of< automaton_t >

using	weight_t = weight_t_of< automaton_t >

using	labelset_t = labelset_t_of< automaton_t >

using	weightset_t = weightset_t_of< automaton_t >

using	kind_t = typename automaton_t::element_type::kind_t

Public Types inherited from vcsn::detail::automaton_decorator< Aut >
using	automaton_t = Aut
	The type of automaton to wrap. More...

using	context_t = context_t_of< Aut >

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

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
std::ostream &	print_set (std::ostream &o, format fmt={}) const

automaton_t	naked_automaton ()
	The automaton we are decorating (typically a mutable_automaton). More...

auto	strip () -> decltype(transpose(vcsn::strip(this->naked_automaton())))
	Strip the decoration of the wrapped automaton, but keep the transposition decoration. More...

auto	automaton () const
	The transposed automaton without any decorator, not even the transposition decorator. More...

auto	all_in (state_t s) const -> decltype(aut_-> all_out(s))

auto	all_out (state_t s) const -> decltype(aut_-> all_in(s))

auto	dst_of (transition_t t) const -> decltype(aut_-> src_of(t))

auto	is_final (state_t s) const -> decltype(aut_-> is_initial(s))

auto	num_finals () const -> decltype(aut_-> num_initials())

auto	num_initials () const -> decltype(aut_-> num_ final s())

auto	src_of (transition_t t) const -> decltype(aut_-> dst_of(t))

auto	is_initial (state_t s) const -> decltype(aut_-> is_ final(s))

auto	is_lazy (state_t s) const -> decltype(aut_-> is_lazy_in(s))

auto	is_lazy_in (state_t s) const -> decltype(aut_-> is_lazy(s))

auto	get_transition (state_t s, state_t d, label_t l) const -> decltype(aut_-> get_transition(d, s, aut_->labelset() ->transpose(l)))

auto	has_transition (transition_t t) const -> decltype(aut_-> has_transition(t))

auto	has_transition (state_t s, state_t d, label_t l) const -> decltype(aut_-> has_transition(d, s, aut_->labelset() ->transpose(l)))

auto	label_of (transition_t t) const -> decltype(aut_-> labelset() ->transpose(aut_->label_of(t)))

ATTRIBUTE_PURE auto	get_initial_weight (state_t s) const -> decltype(aut_-> weightset() ->transpose(aut_->get_ final _weight(s)))

ATTRIBUTE_PURE auto	get_final_weight (state_t s) const -> decltype(aut_-> weightset() ->transpose(aut_->get_initial_weight(s)))

ATTRIBUTE_PURE auto	weight_of (transition_t t) const -> decltype(aut_-> weightset() ->transpose(aut_->weight_of(t)))

auto	set_lazy (state_t s, bool l=true) -> decltype(aut_-> set_lazy_in(s, l))

auto	set_lazy_in (state_t s, bool l=true) -> decltype(aut_-> set_lazy(s, l))

auto	set_initial (state_t s) -> decltype(aut_-> set_ final(s))

auto	set_final (state_t s) -> decltype(aut_-> set_initial(s))

auto	unset_initial (state_t s) -> decltype(aut_-> unset_ final(s))

auto	unset_final (state_t s) -> decltype(aut_-> unset_initial(s))

auto	set_weight (transition_t t, weight_t k) -> decltype(aut_-> set_weight(t, aut_->weightset() ->transpose(k)))

auto	add_weight (transition_t t, weight_t k) -> decltype(aut_-> add_weight(t, aut_->weightset() ->transpose(k)))

auto	lweight (transition_t t, weight_t k) -> decltype(aut_-> lweight(t, aut_->weightset() ->transpose(k)))

auto	rweight (transition_t t, weight_t k) -> decltype(aut_-> rweight(t, aut_->weightset() ->transpose(k)))

auto	del_transition (transition_t t) -> decltype(aut_-> del_transition(t))

auto	del_transition (state_t s, state_t d, label_t l) -> decltype(aut_-> del_transition(d, s, aut_->labelset() ->transpose(l)))

auto	add_transition (state_t s, state_t d, label_t l, weight_t k) -> decltype(aut_-> add_transition(d, s, aut_->labelset() ->transpose(l), aut_->weightset() ->transpose(k)))

auto	add_transition (state_t s, state_t d, label_t l) -> decltype(aut_-> add_transition(d, s, aut_->labelset() ->transpose(l)))

auto	new_transition (state_t s, state_t d, label_t l, weight_t k) -> decltype(aut_-> new_transition(d, s, aut_->labelset() ->transpose(l), aut_->weightset() ->transpose(k)))

auto	new_transition (state_t s, state_t d, label_t l) -> decltype(aut_-> new_transition(d, s, aut_->labelset() ->transpose(l)))

auto	set_transition (state_t s, state_t d, label_t l, weight_t k) -> decltype(aut_-> set_transition(d, s, aut_->labelset() ->transpose(l), aut_->weightset() ->transpose(k)))

auto	set_initial (state_t s, weight_t k) -> decltype(aut_-> set_ final(s

auto aut_	weightset () -> transpose(k)))

auto	set_final (state_t s, weight_t k) -> decltype(aut_-> set_initial(s, aut_->weightset() ->transpose(k)))

auto	add_initial (state_t s, weight_t k) -> decltype(aut_-> add_ final(s

auto aut_	weightset () -> transpose(k)))

auto	add_final (state_t s, weight_t k) -> decltype(aut_-> add_initial(s, aut_->weightset() ->transpose(k)))

template<Automaton A>
auto	add_transition_copy (state_t src, state_t dst, const A &aut, transition_t_of< A > t, bool transpose=false) -> decltype(aut_-> add_transition_copy(dst, src, aut, t,!transpose))

template<Automaton A>
auto	new_transition_copy (state_t src, state_t dst, const A &aut, transition_t_of< A > t, bool transpose=false) -> decltype(aut_-> new_transition_copy(dst, src, aut, t,!transpose))

Public Member Functions inherited from vcsn::detail::automaton_decorator< Aut >
	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...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

auto	lweight (Args &&...args) -> decltype(aut_-> lweight(std::forward< Args >(args)...))

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

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

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

auto	rweight (Args &&...args) -> decltype(aut_-> rweight(std::forward< Args >(args)...))

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

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

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

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

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

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

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

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

Static Public Member Functions
static symbol	sname ()

static constexpr auto	post () -> decltype(automaton_t::element_type::pre())

static constexpr auto	pre () -> decltype(automaton_t::element_type::post())

Static Public Member Functions inherited from vcsn::detail::automaton_decorator< Aut >
static constexpr auto	lazy_transition (Args &&...args) -> decltype(element_type::lazy_transition(std::forward< Args >(args)...))

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

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

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

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

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

Additional Inherited Members
Protected Attributes inherited from vcsn::detail::automaton_decorator< Aut >
automaton_t	aut_
	The wrapped automaton, possibly const. More...

Detailed Description

template<Automaton Aut>
class vcsn::detail::transpose_automaton_impl< Aut >

Read-write view on an automaton, that transposes everything.

Definition at line 102 of file fwd.hh.

Member Typedef Documentation

template<Automaton Aut>

using vcsn::detail::transpose_automaton_impl< Aut >::automaton_t = Aut

The type of automaton to wrap.

Definition at line 28 of file transpose.hh.

template<Automaton Aut>

using vcsn::detail::transpose_automaton_impl< Aut >::context_t = context_t_of<automaton_t>

Definition at line 32 of file transpose.hh.

template<Automaton Aut>

template<typename Ctx = context_t>

using vcsn::detail::transpose_automaton_impl< Aut >::fresh_automaton_t = typename fresh_impl_<fresh_automaton_t_of<automaton_t, Ctx>>::type

The type to use to build an automaton of the same type: remove the inner const-volatile qualifiers, and transpose_automaton if needed.

Definition at line 53 of file transpose.hh.

template<Automaton Aut>

using vcsn::detail::transpose_automaton_impl< Aut >::kind_t = typename automaton_t::element_type::kind_t

Definition at line 62 of file transpose.hh.

template<Automaton Aut>

using vcsn::detail::transpose_automaton_impl< Aut >::label_t = label_t_of<automaton_t>

Definition at line 57 of file transpose.hh.

template<Automaton Aut>

using vcsn::detail::transpose_automaton_impl< Aut >::labelset_t = labelset_t_of<automaton_t>

Definition at line 60 of file transpose.hh.

template<Automaton Aut>

using vcsn::detail::transpose_automaton_impl< Aut >::self_t = transpose_automaton<automaton_t>

Definition at line 29 of file transpose.hh.

template<Automaton Aut>

using vcsn::detail::transpose_automaton_impl< Aut >::state_t = state_t_of<automaton_t>

Definition at line 55 of file transpose.hh.

template<Automaton Aut>

using vcsn::detail::transpose_automaton_impl< Aut >::super_t = automaton_decorator<automaton_t>

Definition at line 31 of file transpose.hh.

template<Automaton Aut>

using vcsn::detail::transpose_automaton_impl< Aut >::transition_t = transition_t_of<automaton_t>

Definition at line 56 of file transpose.hh.

template<Automaton Aut>

using vcsn::detail::transpose_automaton_impl< Aut >::weight_t = weight_t_of<automaton_t>

Definition at line 58 of file transpose.hh.

template<Automaton Aut>

using vcsn::detail::transpose_automaton_impl< Aut >::weightset_t = weightset_t_of<automaton_t>

Definition at line 61 of file transpose.hh.

Member Function Documentation

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::add_final	(	state_t	s,
		weight_t	k
	)		-> decltype(aut_-> add_initial(s, aut_->weightset()->transpose(k)) )

inline

Definition at line 210 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::add_initial	(	state_t	s,
		weight_t	k
	)		-> decltype(aut_-> add_

final

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::add_transition	(	state_t	s,
		state_t	d,
		label_t	l,
		weight_t	k
	)		-> decltype(aut_-> add_transition(d, s, aut_->labelset()->transpose(l), aut_->weightset()->transpose(k)) )

inline

Definition at line 187 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::add_transition	(	state_t	s,
		state_t	d,
		label_t	l
	)		-> decltype(aut_-> add_transition(d, s, aut_->labelset()->transpose(l)) )

inline

Definition at line 189 of file transpose.hh.

template<Automaton Aut>

template<Automaton A>

auto vcsn::detail::transpose_automaton_impl< Aut >::add_transition_copy	(	state_t	src,
		state_t	dst,
		const A &	aut,
		transition_t_of< A >	t,
		bool	transpose = `false`
	)		-> decltype(aut_-> add_transition_copy(dst, src, aut, t, !transpose) )

inline

Definition at line 217 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::add_weight	(	transition_t	t,
		weight_t	k
	)		-> decltype(aut_-> add_weight(t, aut_->weightset()->transpose(k)) )

inline

Definition at line 174 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::all_in ( state_t s ) const -> decltype(aut_-> all_out(s) )

inline

Definition at line 115 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::all_out ( state_t s ) const -> decltype(aut_-> all_in(s) )

inline

Definition at line 116 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::automaton ( ) const

inline

The transposed automaton without any decorator, not even the transposition decorator.

Definition at line 99 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::del_transition ( transition_t t ) -> decltype(aut_-> del_transition(t) )

inline

Definition at line 180 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::del_transition	(	state_t	s,
		state_t	d,
		label_t	l
	)		-> decltype(aut_-> del_transition(d, s, aut_->labelset()->transpose(l)) )

inline

Definition at line 182 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::dst_of ( transition_t t ) const -> decltype(aut_-> src_of(t) )

inline

Definition at line 117 of file transpose.hh.

template<Automaton Aut>

ATTRIBUTE_PURE auto vcsn::detail::transpose_automaton_impl< Aut >::get_final_weight ( state_t s ) const -> decltype(aut_-> weightset()->transpose(aut_->get_initial_weight(s)) )

inline

Definition at line 142 of file transpose.hh.

template<Automaton Aut>

ATTRIBUTE_PURE auto vcsn::detail::transpose_automaton_impl< Aut >::get_initial_weight ( state_t s ) const -> decltype(aut_-> weightset()->transpose(aut_->get_

inlinefinal

Definition at line 138 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::get_transition	(	state_t	s,
		state_t	d,
		label_t	l
	)		const -> decltype(aut_-> get_transition(d, s, aut_->labelset()->transpose(l)) )

inline

Definition at line 128 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::has_transition ( transition_t t ) const -> decltype(aut_-> has_transition(t) )

inline

Definition at line 130 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::has_transition	(	state_t	s,
		state_t	d,
		label_t	l
	)		const -> decltype(aut_-> has_transition(d, s, aut_->labelset()->transpose(l)) )

inline

Definition at line 132 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::is_final ( state_t s ) const -> decltype(aut_-> is_initial(s) )

inline

Definition at line 118 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::is_initial ( state_t s ) const -> decltype(aut_-> is_

inlinefinal

Definition at line 122 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::is_lazy ( state_t s ) const -> decltype(aut_-> is_lazy_in(s) )

inline

Definition at line 124 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::is_lazy_in ( state_t s ) const -> decltype(aut_-> is_lazy(s) )

inline

Definition at line 125 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::label_of ( transition_t t ) const -> decltype(aut_-> labelset()->transpose(aut_->label_of(t)) )

inline

Definition at line 134 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::lweight	(	transition_t	t,
		weight_t	k
	)		-> decltype(aut_-> lweight(t, aut_->weightset()->transpose(k)) )

inline

Definition at line 176 of file transpose.hh.

template<Automaton Aut>

automaton_t vcsn::detail::transpose_automaton_impl< Aut >::naked_automaton ( )

inline

The automaton we are decorating (typically a mutable_automaton).

Definition at line 83 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::new_transition	(	state_t	s,
		state_t	d,
		label_t	l,
		weight_t	k
	)		-> decltype(aut_-> new_transition(d, s, aut_->labelset()->transpose(l), aut_->weightset()->transpose(k)) )

inline

Definition at line 194 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::new_transition	(	state_t	s,
		state_t	d,
		label_t	l
	)		-> decltype(aut_-> new_transition(d, s, aut_->labelset()->transpose(l)) )

inline

Definition at line 197 of file transpose.hh.

template<Automaton Aut>

template<Automaton A>

auto vcsn::detail::transpose_automaton_impl< Aut >::new_transition_copy	(	state_t	src,
		state_t	dst,
		const A &	aut,
		transition_t_of< A >	t,
		bool	transpose = `false`
	)		-> decltype(aut_-> new_transition_copy(dst, src, aut, t, !transpose) )

inline

Definition at line 224 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::num_finals ( ) const -> decltype(aut_-> num_initials() )

inline

Definition at line 119 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::num_initials ( ) const -> decltype(aut_-> num_

inlinefinal

Definition at line 120 of file transpose.hh.

template<Automaton Aut>

static constexpr auto vcsn::detail::transpose_automaton_impl< Aut >::post ( ) -> decltype(automaton_t::element_type:: pre() )

inlinestatic

Definition at line 243 of file transpose.hh.

template<Automaton Aut>

static constexpr auto vcsn::detail::transpose_automaton_impl< Aut >::pre ( ) -> decltype(automaton_t::element_type:: post() )

inlinestatic

Definition at line 244 of file transpose.hh.

template<Automaton Aut>

std::ostream& vcsn::detail::transpose_automaton_impl< Aut >::print_set	(	std::ostream &	o,
		format	fmt = `{}`
	)		const

inline

Definition at line 74 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::rweight	(	transition_t	t,
		weight_t	k
	)		-> decltype(aut_-> rweight(t, aut_->weightset()->transpose(k)) )

inline

Definition at line 178 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::set_final ( state_t s ) -> decltype(aut_-> set_initial(s) )

inline

Definition at line 167 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::set_final	(	state_t	s,
		weight_t	k
	)		-> decltype(aut_-> set_initial(s, aut_->weightset()->transpose(k)) )

inline

Definition at line 206 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::set_initial ( state_t s ) -> decltype(aut_-> set_

inlinefinal

Definition at line 166 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::set_initial	(	state_t	s,
		weight_t	k
	)		-> decltype(aut_-> set_

final

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::set_lazy	(	state_t	s,
		bool	l = `true`
	)		-> decltype(aut_-> set_lazy_in(s, l) )

inline

Definition at line 163 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::set_lazy_in	(	state_t	s,
		bool	l = `true`
	)		-> decltype(aut_-> set_lazy(s, l) )

inline

Definition at line 164 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::set_transition	(	state_t	s,
		state_t	d,
		label_t	l,
		weight_t	k
	)		-> decltype(aut_-> set_transition(d, s, aut_->labelset()->transpose(l), aut_->weightset()->transpose(k)) )

inline

Definition at line 202 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::set_weight	(	transition_t	t,
		weight_t	k
	)		-> decltype(aut_-> set_weight(t, aut_->weightset()->transpose(k)) )

inline

Definition at line 172 of file transpose.hh.

template<Automaton Aut>

static symbol vcsn::detail::transpose_automaton_impl< Aut >::sname ( )

inlinestatic

Definition at line 67 of file transpose.hh.

References vcsn::res, and vcsn::sname().

Here is the call graph for this function:

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::src_of ( transition_t t ) const -> decltype(aut_-> dst_of(t) )

inline

Definition at line 121 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::strip ( ) -> decltype(transpose(vcsn::strip(this->naked_automaton())))

inline

Strip the decoration of the wrapped automaton, but keep the transposition decoration.

Definition at line 91 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::unset_final ( state_t s ) -> decltype(aut_-> unset_initial(s) )

inline

Definition at line 169 of file transpose.hh.

template<Automaton Aut>

auto vcsn::detail::transpose_automaton_impl< Aut >::unset_initial ( state_t s ) -> decltype(aut_-> unset_

inlinefinal

Definition at line 168 of file transpose.hh.

template<Automaton Aut>

ATTRIBUTE_PURE auto vcsn::detail::transpose_automaton_impl< Aut >::weight_of ( transition_t t ) const -> decltype(aut_-> weightset()->transpose(aut_->weight_of(t)) )

inline

Definition at line 146 of file transpose.hh.

template<Automaton Aut>

auto aut_ vcsn::detail::transpose_automaton_impl< Aut >::weightset ( ) -> transpose(k)) )

inline

Definition at line 204 of file transpose.hh.

template<Automaton Aut>

auto aut_ vcsn::detail::transpose_automaton_impl< Aut >::weightset ( ) -> transpose(k)) )

inline

Definition at line 208 of file transpose.hh.

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

vcsn/algos/fwd.hh
vcsn/algos/transpose.hh

Classes

Public Types

Public Member Functions

Static Public Member Functions

Additional Inherited Members

Detailed Description

template<Automaton Aut> class vcsn::detail::transpose_automaton_impl< Aut >

Member Typedef Documentation

Member Function Documentation

template<Automaton Aut>
class vcsn::detail::transpose_automaton_impl< Aut >