![]() |
Vcsn
2.0
Be Rational
|
#include <deque>
#include <iostream>
#include <map>
#include <vcsn/algos/blind.hh>
#include <vcsn/algos/insplit.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/vector.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/misc/tuple.hh>
#include <vcsn/misc/zip-maps.hh>
Go to the source code of this file.
Classes | |
class | vcsn::detail::composer< Lhs, Rhs > |
Build the (accessible part of the) composition. More... | |
Namespaces | |
vcsn | |
vcsn::detail | |
vcsn::dyn | |
FIXME: duplicate code with determinize. | |
vcsn::dyn::detail | |
Functions | |
template<typename Lhs , typename Rhs > | |
auto | vcsn::compose (Lhs &lhs, Rhs &rhs) -> typename detail::composer< blind_automaton< 1, Lhs >, blind_automaton< 0, Rhs >>::automaton_t |
Build the (accessible part of the) composition. More... | |
template<typename Lhs , typename Rhs > | |
automaton | vcsn::dyn::detail::compose (automaton &lhs, automaton &rhs) |
Bridge. More... | |
vcsn::dyn::detail::REGISTER_DECLARE (compose,(automaton &, automaton &) -> automaton) | |