![]() |
Vcsn
2.1
Be Rational
|
#include <vcsn/algos/determinize.hh>
#include <vcsn/algos/strip.hh>
#include <vcsn/algos/transpose.hh>
Go to the source code of this file.
Namespaces | |
vcsn | |
Functions | |
template<typename Aut > | |
auto | vcsn::minimize_brzozowski (const Aut &a) -> decltype(determinize(codeterminize(a))) |
template<typename Aut > | |
auto | vcsn::cominimize_brzozowski (const Aut &a) -> decltype(transpose(minimize_brzozowski(transpose(a)))) |