Vcsn  2.4
Be Rational
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 >