![]() |
Vcsn
2.0
Be Rational
|
#include <lib/vcsn/algos/registry.hh>#include <vcsn/algos/minimize.hh>#include <vcsn/algos/reduce.hh>#include <vcsn/dyn/algos.hh>#include <vcsn/dyn/automaton.hh>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... | |