compose.hh File Reference

#include <vcsn/algos/focus.hh>
#include <vcsn/algos/insplit.hh>
#include <vcsn/core/lazy-tuple-automaton.hh>
#include <vcsn/core/transition-map.hh>
#include <vcsn/core/tuple-automaton.hh>
#include <vcsn/ctx/context.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/labelset/tupleset.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/misc/tuple.hh>
#include <vcsn/misc/zip-maps.hh>
#include <vcsn/weightset/polynomialset.hh>

Include dependency graph for compose.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	vcsn::detail::res_labelset_t_of_impl< Aut >
struct	vcsn::detail::res_labelset_t_of_impl< insplit_automaton< Aut > >
struct	vcsn::detail::res_label_t_of_impl< Aut >
struct	vcsn::detail::res_label_t_of_impl< insplit_automaton< Aut > >
struct	vcsn::detail::full_context_t_of_impl< Aut >
struct	vcsn::detail::full_context_t_of_impl< insplit_automaton< Aut > >
struct	vcsn::detail::composed_type< Lhs, Rhs >
	Build the (accessible part of the) composition. More...
class	vcsn::detail::compose_automaton_impl< Lazy, Lhs, Rhs >
	Build the (accessible part of the) composition. More...

Namespaces
	vcsn
	vcsn::detail
	vcsn::dyn
	vcsn::dyn::detail

Macros
#define	DEFINE(Type)
	Get a type from a possibly insplit automaton. More...

Typedefs
template<Automaton Aut>
using	vcsn::detail::res_labelset_t_of = typename res_labelset_t_of_impl< Aut >::type
template<Automaton Aut>
using	vcsn::detail::res_label_t_of = typename res_label_t_of_impl< Aut >::type
template<Automaton Aut>
using	vcsn::detail::full_context_t_of = typename full_context_t_of_impl< Aut >::type
template<bool Lazy, Automaton Lhs, Automaton Rhs>
using	vcsn::compose_automaton = std::shared_ptr< detail::compose_automaton_impl< Lazy, Lhs, Rhs > >
	A compose automaton as a shared pointer. More...

Functions
template<bool Lazy, std::size_t OutTape, std::size_t InTape, Automaton Lhs, Automaton Rhs>
auto	vcsn::make_compose_automaton (const Lhs &lhs, const Rhs &rhs)
template<Automaton Lhs, Automaton Rhs, std::size_t OutTape = 1, std::size_t InTape = 0>
auto	vcsn::compose (const Lhs &lhs, const Rhs &rhs)
	Build the (accessible part of the) composition. More...
template<typename Lhs , typename Rhs , std::size_t OutTape = 1, std::size_t InTape = 0>
auto	vcsn::compose_lazy (const Lhs &lhs, const Rhs &rhs)
	Build the (accessible part of the) lazy composition. More...
template<Automaton Lhs, Automaton Rhs, typename Bool >
automaton	vcsn::dyn::detail::compose (const automaton &lhs, const automaton &rhs, bool lazy)
	Bridge. More...

Macro Definition Documentation

DEFINE

#define DEFINE

(

Type

)

Value:

template <Automaton Aut>                                              \
    struct Type ## _of_impl                                               \
    {                                                                     \
      using type = typename Aut::element_type::Type;                      \
    };                                                                    \
                                                                          \
    template <Automaton Aut>                                              \
    struct Type ## _of_impl<insplit_automaton<Aut>>                       \
      : Type ## _of_impl<Aut>                                             \
    {};                                                                   \
                                                                          \
    template <Automaton Aut>                                              \
    using Type ## _of                                                     \
      = typename Type ## _of_impl<Aut>::type

Get a type from a possibly insplit automaton.

FIXME: replace with a traits to extract the base type of a possibly inplit automaton.

Definition at line 24 of file compose.hh.