Vcsn
2.2
Be Rational
|
#include <map>
#include <unordered_map>
#include <vector>
#include <vcsn/algos/copy.hh>
#include <vcsn/algos/transpose.hh>
#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/weightset/q.hh>
#include <vcsn/weightset/r.hh>
#include <vcsn/weightset/z.hh>
Go to the source code of this file.
Classes | |
struct | vcsn::detail::select< Weightset > |
struct | vcsn::detail::select< q > |
struct | vcsn::detail::select< r > |
struct | vcsn::detail::select< z > |
class | vcsn::detail::left_reductioner< Aut > |
Namespaces | |
vcsn | |
vcsn::detail | |
vcsn::dyn | |
vcsn::dyn::detail | |
Functions | |
template<Automaton Aut> | |
auto | vcsn::left_reduce (const Aut &input) -> decltype(copy(input)) |
template<Automaton Aut> | |
auto | vcsn::reduce (const Aut &input) -> decltype(copy(input)) |
template<Automaton Aut> | |
automaton | vcsn::dyn::detail::reduce (const automaton &aut) |
Bridge. More... | |