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