Vcsn
2.0
Be Rational
|
#include <unordered_map>
#include <unordered_set>
#include <vcsn/algos/accessible.hh>
#include <vcsn/algos/quotient.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/misc/dynamic_bitset.hh>
#include <vcsn/misc/indent.hh>
#include <vcsn/misc/map.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/weightset/fwd.hh>
Go to the source code of this file.
Namespaces | |
vcsn | |
vcsn::detail_signature | |
Functions | |
template<typename Aut > | |
auto | vcsn::minimize_signature (const Aut &a) -> partition_automaton< Aut > |