![]() |
Vcsn
2.3a
Be Rational
|
#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>
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) 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... | |
#define DEFINE | ( | Type | ) |
Definition at line 20 of file compose.hh.