Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
minimize-brzozowski.hh File Reference
Include dependency graph for minimize-brzozowski.hh:
This graph shows which files directly or indirectly include this file:

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