![]() |
Vcsn
2.2
Be Rational
|
#include <map>
#include <set>
#include <vector>
#include <vcsn/algos/transpose.hh>
#include <vcsn/core/automaton-decorator.hh>
Go to the source code of this file.
Classes | |
class | vcsn::detail::partition_automaton_impl< Aut > |
An automaton wrapper whose states form a partition of the state set of another automaton. More... | |
struct | vcsn::detail::origins_t_of_impl< Aut > |
From an (input) automaton type, compute its origin_t type. More... | |
struct | vcsn::detail::origins_t_of_impl< partition_automaton< Aut > > |
struct | vcsn::detail::origins_t_of_impl< transpose_automaton< Aut > > |
struct | vcsn::detail::partition_automaton_t_impl< Aut > |
From an (input) automaton type, compute the right decorator for its partition_automaton. More... | |
struct | vcsn::detail::partition_automaton_t_impl< partition_automaton< Aut > > |
struct | vcsn::detail::partition_automaton_t_impl< transpose_automaton< Aut > > |
Namespaces | |
vcsn | |
vcsn::detail | |
Typedefs | |
template<Automaton Aut> | |
using | vcsn::partition_automaton = std::shared_ptr< detail::partition_automaton_impl< Aut >> |
A partition automaton as a shared pointer. More... | |
template<Automaton Aut> | |
using | vcsn::detail::origins_t_of = typename origins_t_of_impl< Aut >::type |
The type of the origins map for a partition automaton, or a transposed one. More... | |
template<Automaton Aut> | |
using | vcsn::partition_automaton_t = typename detail::partition_automaton_t_impl< Aut >::type |
The return type when calling quotient on Aut. More... | |
Functions | |
template<Automaton Aut> | |
auto | vcsn::make_partition_automaton (const fresh_automaton_t_of< Aut > &res, const Aut &input, const typename detail::partition_automaton_impl< Aut >::origins_t origins) -> partition_automaton_t< Aut > |
Build a partition_automaton. More... | |
template<Automaton Aut> | |
auto | vcsn::make_partition_automaton (const fresh_automaton_t_of< Aut > &res, const partition_automaton< Aut > &input, const typename detail::partition_automaton_impl< Aut >::origins_t origins) -> partition_automaton_t< Aut > |
Build a partition_automaton of a partition_automaton: smash into a single level partition_automaton. More... | |
template<Automaton Aut> | |
auto | vcsn::make_partition_automaton (const fresh_automaton_t_of< transpose_automaton< Aut >> &res, const transpose_automaton< Aut > &input, const typename detail::partition_automaton_impl< Aut >::origins_t origins) -> transpose_automaton< partition_automaton_t< Aut >> |
Build a partition_automaton of a transpose_automaton: smash into a transpose_automaton of a partition_automaton. More... | |