Vcsn  2.3
Be Rational
compose.hh File Reference
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)
 

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) laze 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 (   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
std::string type(const automaton &a)
The implementation type of a.
Definition: others.cc:231

Definition at line 20 of file compose.hh.