Vcsn  2.4
Be Rational
partition-automaton.hh File Reference
#include <map>
#include <set>
#include <vector>
#include <vcsn/algos/transpose.hh>
#include <vcsn/core/automaton-decorator.hh>
Include dependency graph for partition-automaton.hh:
This graph shows which files directly or indirectly include this file:

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...