Build the (accessible part of the) composition. More...

#include <compose.hh>

Inheritance diagram for vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >:

Collaboration diagram for vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >:

Public Types
enum	{ Rank = 2 }
	The number of input automata. More...

using	self_t = compose_automaton_impl

using	type_helper_t = composed_type< Lhs, Rhs >

using	hidden_l_labelset_t = typename type_helper_t::hidden_l_labelset_t

using	hidden_r_labelset_t = typename type_helper_t::hidden_r_labelset_t

using	hidden_l_label_t = typename type_helper_t::hidden_l_label_t

using	hidden_r_label_t = typename type_helper_t::hidden_r_label_t

using	labelset_t = typename type_helper_t::labelset_t
	The type of context of the result. More...

using	weightset_t = typename type_helper_t::weightset_t

using	res_label_t = typename type_helper_t::res_label_t

using	context_t = typename type_helper_t::context_t

using	out_t = typename type_helper_t::out_t

using	super_t = lazy_tuple_automaton< self_t, true, Lazy, out_t, Lhs, Rhs >

using	state_t = typename super_t::state_t
	Result state type. More...

using	state_name_t = typename super_t::state_name_t
	Tuple of states of input automata. More...

using	automata_t = std::tuple< Lhs, Rhs >
	The type of input automata. More...

template<size_t I>
using	input_automaton_t = base_t< tuple_element_t< I, automata_t >>
	The type of the Ith input automaton, unqualified. More...

using	label_t = typename labelset_t::value_t

using	weight_t = typename weightset_t::value_t

Public Types inherited from vcsn::detail::lazy_tuple_automaton< compose_automaton_impl< Lazy, Lhs, Rhs >, true, Lazy, composed_type< Lhs, Rhs >::out_t, Lhs, Rhs >
using	tuple_automaton_t = tuple_automaton< Aut, Auts... >
	The underlying automaton, output and inputs. More...

using	tuple_automaton_impl = typename tuple_automaton_t::element_type

using	state_name_t = typename tuple_automaton_impl::state_name_t

using	state_t = typename tuple_automaton_impl::state_t

using	seq = typename tuple_automaton_impl::template seq< I... >

using	self_t = lazy_tuple_automaton

using	super_t = automaton_decorator< tuple_automaton_t >

using	decorated_t = compose_automaton_impl< Lazy, Lhs, Rhs >
	The automaton holding the logic. More...

using	weightset_t = weightset_t_of< Aut >

Public Types inherited from vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >
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

	compose_automaton_impl (const Lhs &lhs, const Rhs &rhs)

void	compose ()
	The (accessible part of the) composition of lhs_ and rhs_. More...

void	add_transitions (const state_t src, const state_name_t &psrc)
	Callback for complete_ when lazy. More...

Public Member Functions inherited from vcsn::detail::lazy_tuple_automaton< compose_automaton_impl< Lazy, Lhs, Rhs >, true, Lazy, composed_type< Lhs, Rhs >::out_t, Lhs, Rhs >
	lazy_tuple_automaton (Aut aut, const Auts &...auts)

auto	origins () const -> decltype(aut_->origins())
	A map from result state to tuple of original states. More...

void	complete_ (state_t s) const
	Complete a state: find its outgoing transitions. More...

auto	all_out (state_t s) const -> decltype(all_out(aut_, s))
	All the outgoing transitions. More...

Public Member Functions inherited from vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >
	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 Public Member Functions inherited from vcsn::detail::lazy_tuple_automaton< compose_automaton_impl< Lazy, Lhs, Rhs >, true, Lazy, composed_type< Lhs, Rhs >::out_t, Lhs, Rhs >
static symbol	sname_ (const T &...t)

Static Public Member Functions inherited from vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >
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)...))

Private Types
template<std::size_t... I>
using	seq = vcsn::detail::index_sequence< I... >
	A static list of integers. More...

template<Automaton A>
using	transition_map_t = transition_map< A, weightset_t, false, true, true >
	The type of our transition maps: convert the weight to weightset_t, non deterministic, and including transitions to post(). More...

Private Member Functions
void	initialize_compose ()
	Fill the worklist with the initial source-state pairs, as needed for the composition algorithm. More...

res_label_t	join_label (const hidden_l_label_t &ll, const hidden_r_label_t &rl) const

template<Automaton Aut>
std::enable_if_t< labelset_t_of< Aut >::has_one(), res_label_t_of< Aut > >	get_hidden_one (const Aut &aut) const

template<Automaton Aut>
std::enable_if_t< labelset_t_of< Aut >::has_one(), res_label_t_of< Aut > >	get_hidden_one (const insplit_automaton< Aut > &aut) const

template<Automaton Aut>
ATTRIBUTE_NORETURN std::enable_if_t<!labelset_t_of< Aut >::has_one(), res_label_t_of< Aut > >	get_hidden_one (const Aut &) const

void	add_compose_transitions (const state_t src, const state_name_t &psrc)
	Add transitions to the given result automaton, starting from the given result input state, which must correspond to the given pair of input state automata. More...

template<std::size_t I>
void	add_one_transitions_ (const state_t src, const state_name_t &psrc)

template<Automaton Aut>
std::enable_if_t< labelset_t_of< Aut >::has_one(), bool >	is_one (const Aut &aut, transition_t_of< Aut > tr) const

template<Automaton Aut>
constexpr std::enable_if_t<!labelset_t_of< Aut >::has_one(), bool >	is_one (const Aut &, transition_t_of< Aut >) const

template<std::size_t... I>
bool	are_proper_in (const state_name_t &psrc, seq< I... >) const
	Whether no tapes in the sequence have spontaneous incoming transitions. More...

template<size_t I>
constexpr auto	is_proper_in (const state_name_t &) const -> std::enable_if_t<!labelset_t_of< input_automaton_t< I >>::has_one(), bool >
	Whether the state has only proper incoming transitions. More...

template<size_t I>
auto	is_proper_in (const state_name_t &sn) const -> std::enable_if_t< labelset_t_of< input_automaton_t< I >>::has_one(), bool >
	Whether the state has only proper incoming transitions. More...

template<std::size_t... I>
bool	have_proper_out (const state_name_t &psrc, seq< I... >)
	Whether all the tapes in the sequence have proper outgoing transitions (but possibly spontaneous too). More...

template<size_t I>
bool	has_proper_out (const state_name_t &psrc)
	Whether the Ith state of psrc in the Ith input automaton has proper outgoing transitions (but possibly spontaneous transitions too). More...

Static Private Member Functions
template<Automaton A>
static auto	real_aut (const A &aut)
	Get the focus automaton, possibly from a non insplit automaton. More...

template<Automaton A>
static auto	real_aut (const insplit_automaton< A > &aut)
	Get the focus automaton from an insplit automaton. More...

static labelset_t	make_labelset_ (const hidden_l_labelset_t &ll, const hidden_r_labelset_t &rl)

template<std::size_t... I1, std::size_t... I2>
static labelset_t	make_labelset_ (const hidden_l_labelset_t &ll, seq< I1... >, const hidden_r_labelset_t &rl, seq< I2... >)

static context_t	make_context_ (const Lhs &lhs, const Rhs &rhs)

Additional Inherited Members
Protected Types inherited from vcsn::detail::lazy_tuple_automaton< compose_automaton_impl< Lazy, Lhs, Rhs >, true, Lazy, composed_type< Lhs, Rhs >::out_t, Lhs, Rhs >
using	transition_map_t = transition_map< A, weightset_t, false, true, KeepTransitions >
	The type of our transition maps: convert the weight to weightset_t, non deterministic, and including transitions to post(). More...

Protected Member Functions inherited from vcsn::detail::lazy_tuple_automaton< compose_automaton_impl< Lazy, Lhs, Rhs >, true, Lazy, composed_type< Lhs, Rhs >::out_t, Lhs, Rhs >
state_t	state (Args &&...args)
	Conversion from state name to state number. More...

std::tuple< typename transition_map_t< Auts >::map_t &... >	out_ (const state_name_t &ss)
	The outgoing tuple of transitions from state tuple ss. More...

std::tuple< typename transition_map_t< Auts >::map_t &... >	out_ (const state_name_t &ss, seq< I... >)

Protected Attributes inherited from vcsn::detail::lazy_tuple_automaton< compose_automaton_impl< Lazy, Lhs, Rhs >, true, Lazy, composed_type< Lhs, Rhs >::out_t, Lhs, Rhs >
const weightset_t &	ws_
	The resulting weightset. More...

std::tuple< transition_map_t< Auts >... >	transition_maps_
	Transition caches. More...

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

Detailed Description

template<bool Lazy, Automaton Lhs, Automaton Rhs>
class vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >

Build the (accessible part of the) composition.

Definition at line 75 of file compose.hh.

Member Typedef Documentation

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::automata_t = std::tuple<Lhs, Rhs>

The type of input automata.

Definition at line 121 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::context_t = typename type_helper_t::context_t

Definition at line 111 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::hidden_l_label_t = typename type_helper_t::hidden_l_label_t

Definition at line 102 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::hidden_l_labelset_t = typename type_helper_t::hidden_l_labelset_t

Definition at line 100 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::hidden_r_label_t = typename type_helper_t::hidden_r_label_t

Definition at line 103 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::hidden_r_labelset_t = typename type_helper_t::hidden_r_labelset_t

Definition at line 101 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<size_t I>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::input_automaton_t = base_t<tuple_element_t<I, automata_t>>

The type of the Ith input automaton, unqualified.

Definition at line 125 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::label_t = typename labelset_t::value_t

Definition at line 173 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::labelset_t = typename type_helper_t::labelset_t

The type of context of the result.

Definition at line 107 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::out_t = typename type_helper_t::out_t

Definition at line 113 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::res_label_t = typename type_helper_t::res_label_t

Definition at line 110 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::self_t = compose_automaton_impl

Definition at line 97 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<std::size_t... I>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::seq = vcsn::detail::index_sequence<I...>

private

A static list of integers.

Definition at line 93 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::state_name_t = typename super_t::state_name_t

Tuple of states of input automata.

Definition at line 118 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::state_t = typename super_t::state_t

Result state type.

Definition at line 116 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::super_t = lazy_tuple_automaton<self_t, true, Lazy, out_t, Lhs, Rhs>

Definition at line 114 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<Automaton A>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::transition_map_t = transition_map<A, weightset_t, false, true, true>

private

The type of our transition maps: convert the weight to weightset_t, non deterministic, and including transitions to post().

Definition at line 196 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::type_helper_t = composed_type<Lhs, Rhs>

Definition at line 99 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::weight_t = typename weightset_t::value_t

Definition at line 174 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

using vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::weightset_t = typename type_helper_t::weightset_t

Definition at line 108 of file compose.hh.

Member Enumeration Documentation

template<bool Lazy, Automaton Lhs, Automaton Rhs>

anonymous enum

The number of input automata.

Enumerator
Rank

Definition at line 128 of file compose.hh.

Constructor & Destructor Documentation

template<bool Lazy, Automaton Lhs, Automaton Rhs>

vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::compose_automaton_impl	(	const Lhs &	lhs,
		const Rhs &	rhs
	)

inline

Definition at line 148 of file compose.hh.

References vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::make_context_(), and vcsn::make_mutable_automaton().

Here is the call graph for this function:

Member Function Documentation

template<bool Lazy, Automaton Lhs, Automaton Rhs>

void vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::add_compose_transitions	(	const state_t	src,
		const state_name_t &	psrc
	)

inlineprivate

Add transitions to the given result automaton, starting from the given result input state, which must correspond to the given pair of input state automata.

Update the worklist with the needed source-state pairs.

Definition at line 268 of file compose.hh.

References vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >::aut_, vcsn::detail::cross_tuple(), vcsn::detail::transition_map< Aut, WeightSet, Deterministic, AllOut, KeepTransitions >::transition_< Weight, KeepTransitions_, Dummy >::dst, vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::join_label(), vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >::new_transition(), vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::real_aut(), vcsn::detail::lazy_tuple_automaton< compose_automaton_impl< Lazy, Lhs, Rhs >, true, Lazy, composed_type< Lhs, Rhs >::out_t, Lhs, Rhs >::state(), vcsn::detail::lazy_tuple_automaton< compose_automaton_impl< Lazy, Lhs, Rhs >, true, Lazy, composed_type< Lhs, Rhs >::out_t, Lhs, Rhs >::transition_maps_, vcsn::detail::transition_map< Aut, WeightSet, Deterministic, AllOut, KeepTransitions >::transition_< Weight, KeepTransitions_, Dummy >::weight(), vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >::weightset(), and vcsn::zip_maps().

Referenced by vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::add_transitions(), and vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::compose().

Here is the call graph for this function:

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<std::size_t I>

void vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::add_one_transitions_	(	const state_t	src,
		const state_name_t &	psrc
	)

inlineprivate

Definition at line 318 of file compose.hh.

References vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::are_proper_in(), vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >::aut_, vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::get_hidden_one(), vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::have_proper_out(), vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::join_label(), vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >::labelset(), vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >::new_transition(), vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::real_aut(), vcsn::detail::lazy_tuple_automaton< compose_automaton_impl< Lazy, Lhs, Rhs >, true, Lazy, composed_type< Lhs, Rhs >::out_t, Lhs, Rhs >::state(), and vcsn::detail::lazy_tuple_automaton< compose_automaton_impl< Lazy, Lhs, Rhs >, true, Lazy, composed_type< Lhs, Rhs >::out_t, Lhs, Rhs >::transition_maps_.

Here is the call graph for this function:

template<bool Lazy, Automaton Lhs, Automaton Rhs>

void vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::add_transitions	(	const state_t	src,
		const state_name_t &	psrc
	)

inline

Callback for complete_ when lazy.

Definition at line 167 of file compose.hh.

References vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::add_compose_transitions().

Here is the call graph for this function:

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<std::size_t... I>

bool vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::are_proper_in	(	const state_name_t &	psrc,
		seq< I... >
	)		const

inlineprivate

Whether no tapes in the sequence have spontaneous incoming transitions.

Definition at line 378 of file compose.hh.

References vcsn::all().

Referenced by vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::add_one_transitions_().

Here is the call graph for this function:

template<bool Lazy, Automaton Lhs, Automaton Rhs>

void vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::compose ( )

inline

The (accessible part of the) composition of lhs_ and rhs_.

Definition at line 153 of file compose.hh.

References vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::add_compose_transitions(), vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >::aut_, and vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::initialize_compose().

Here is the call graph for this function:

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<Automaton Aut>

std::enable_if_t<labelset_t_of<Aut>::has_one(), res_label_t_of<Aut> > vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::get_hidden_one ( const Aut & aut ) const

inlineprivate

Definition at line 241 of file compose.hh.

Referenced by vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::add_one_transitions_().

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<Automaton Aut>

std::enable_if_t<labelset_t_of<Aut>::has_one(), res_label_t_of<Aut> > vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::get_hidden_one ( const insplit_automaton< Aut > & aut ) const

inlineprivate

Definition at line 249 of file compose.hh.

References vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::real_aut().

Here is the call graph for this function:

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<Automaton Aut>

ATTRIBUTE_NORETURN std::enable_if_t<!labelset_t_of<Aut>::has_one(), res_label_t_of<Aut> > vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::get_hidden_one ( const Aut & ) const

inlineprivate

Definition at line 258 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<size_t I>

bool vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::has_proper_out ( const state_name_t & psrc )

inlineprivate

Whether the Ith state of psrc in the Ith input automaton has proper outgoing transitions (but possibly spontaneous transitions too).

Not const, because we (might) update the transition maps.

Definition at line 430 of file compose.hh.

References vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >::aut_, vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >::labelset(), and vcsn::detail::lazy_tuple_automaton< compose_automaton_impl< Lazy, Lhs, Rhs >, true, Lazy, composed_type< Lhs, Rhs >::out_t, Lhs, Rhs >::transition_maps_.

Here is the call graph for this function:

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<std::size_t... I>

bool vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::have_proper_out	(	const state_name_t &	psrc,
		seq< I... >
	)

inlineprivate

Whether all the tapes in the sequence have proper outgoing transitions (but possibly spontaneous too).

Definition at line 418 of file compose.hh.

References vcsn::all().

Referenced by vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::add_one_transitions_().

Here is the call graph for this function:

template<bool Lazy, Automaton Lhs, Automaton Rhs>

void vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::initialize_compose ( )

inlineprivate

Fill the worklist with the initial source-state pairs, as needed for the composition algorithm.

Definition at line 227 of file compose.hh.

References vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >::aut_.

Referenced by vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::compose().

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<Automaton Aut>

std::enable_if_t<labelset_t_of<Aut>::has_one(), bool> vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::is_one	(	const Aut &	aut,
		transition_t_of< Aut >	tr
	)		const

inlineprivate

Definition at line 362 of file compose.hh.

Referenced by vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::is_proper_in().

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<Automaton Aut>

constexpr std::enable_if_t<!labelset_t_of<Aut>::has_one(), bool> vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::is_one	(	const Aut &	,
		transition_t_of< Aut >
	)		const

inlineprivate

Definition at line 370 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<size_t I>

constexpr auto vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::is_proper_in ( const state_name_t & ) const -> std::enable_if_t<!labelset_t_of<input_automaton_t<I>>::has_one(), bool>

inlineprivate

Whether the state has only proper incoming transitions.

Definition at line 386 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<size_t I>

auto vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::is_proper_in ( const state_name_t & sn ) const -> std::enable_if_t<labelset_t_of<input_automaton_t<I>>::has_one(), bool>

inlineprivate

Whether the state has only proper incoming transitions.

The automaton has been insplit, so either all incoming transitions are proper, or all transitions are spontaneous (including the first one).

Definition at line 399 of file compose.hh.

References vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >::all_in(), vcsn::detail::automaton_decorator< tuple_automaton< Aut, Auts... > >::aut_, and vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::is_one().

Here is the call graph for this function:

template<bool Lazy, Automaton Lhs, Automaton Rhs>

res_label_t vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::join_label	(	const hidden_l_label_t &	ll,
		const hidden_r_label_t &	rl
	)		const

inlineprivate

Definition at line 232 of file compose.hh.

Referenced by vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::add_compose_transitions(), and vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::add_one_transitions_().

template<bool Lazy, Automaton Lhs, Automaton Rhs>

static context_t vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::make_context_	(	const Lhs &	lhs,
		const Rhs &	rhs
	)

inlinestaticprivate

Definition at line 218 of file compose.hh.

References vcsn::join(), vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::make_labelset_(), and vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::real_aut().

Referenced by vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::compose_automaton_impl().

Here is the call graph for this function:

template<bool Lazy, Automaton Lhs, Automaton Rhs>

static labelset_t vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::make_labelset_	(	const hidden_l_labelset_t &	ll,
		const hidden_r_labelset_t &	rl
	)

inlinestaticprivate

Definition at line 198 of file compose.hh.

References vcsn::rat::size().

Referenced by vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::make_context_().

Here is the call graph for this function:

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<std::size_t... I1, std::size_t... I2>

static labelset_t vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::make_labelset_	(	const hidden_l_labelset_t &	ll,
		seq< I1... >	,
		const hidden_r_labelset_t &	rl,
		seq< I2... >
	)

inlinestaticprivate

Definition at line 208 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

std::ostream& vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::print_set	(	std::ostream &	o,
		format	fmt = `{}`
	)		const

inline

Definition at line 141 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<Automaton A>

static auto vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::real_aut ( const A & aut )

inlinestaticprivate

Get the focus automaton, possibly from a non insplit automaton.

Definition at line 180 of file compose.hh.

Referenced by vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::add_compose_transitions(), vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::add_one_transitions_(), vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::get_hidden_one(), and vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::make_context_().

template<bool Lazy, Automaton Lhs, Automaton Rhs>

template<Automaton A>

static auto vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::real_aut ( const insplit_automaton< A > & aut )

inlinestaticprivate

Get the focus automaton from an insplit automaton.

Definition at line 187 of file compose.hh.

template<bool Lazy, Automaton Lhs, Automaton Rhs>

static symbol vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >::sname ( )

inlinestatic

Definition at line 132 of file compose.hh.

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

Here is the call graph for this function:

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

vcsn/algos/compose.hh

Public Types

Public Member Functions

Static Public Member Functions

Private Types

Private Member Functions

Static Private Member Functions

Additional Inherited Members

Detailed Description

template<bool Lazy, Automaton Lhs, Automaton Rhs> class vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >

Member Typedef Documentation

Member Enumeration Documentation

Constructor & Destructor Documentation

Member Function Documentation

template<bool Lazy, Automaton Lhs, Automaton Rhs>
class vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >