quotient.hh File Reference

#include <algorithm>
#include <unordered_map>
#include <boost/range/algorithm/min_element.hpp>
#include <boost/range/algorithm/sort.hpp>
#include <vcsn/core/partition-automaton.hh>
#include <vcsn/dyn/automaton.hh>

Include dependency graph for quotient.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	vcsn::detail::quotienter< Aut >
	Apply a quotient onto an automaton: fuse equivalent states. More...

Namespaces
	vcsn
	vcsn::detail

Typedefs
template<Automaton Aut>
using	vcsn::quotient_t = partition_automaton_t< Aut >
	The return type when calling quotient on Aut. More...

Functions
template<Automaton Aut>
auto	vcsn::quotient (const Aut &a, typename detail::quotienter< Aut >::class_to_set_t &cs) -> quotient_t< Aut >