Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
minimize.cc File Reference
Include dependency graph for minimize.cc:

Go to the source code of this file.

Namespaces

 vcsn
 
 vcsn::dyn
 FIXME: duplicate code with determinize.
 

Functions

automaton vcsn::dyn::minimize (const automaton &aut, const std::string &algo="auto")
 The minimized automaton. More...
 
automaton vcsn::dyn::reduce (const automaton &aut)
 Reduce aut. More...
 
automaton vcsn::dyn::cominimize (const automaton &aut, const std::string &algo="auto")
 The cominimized automaton. More...