#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.
|
template<typename Aut > |
using | vcsn::partition_automaton = std::shared_ptr< detail::partition_automaton_impl< Aut >> |
| A partition automaton as a shared pointer. More...
|
|
template<typename 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<typename Aut > |
using | vcsn::partition_automaton_t = typename detail::partition_automaton_t_impl< Aut >::type |
| The return type when calling quotient on Aut. More...
|
|
|
template<typename 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<typename 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<typename 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...
|
|