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

Go to the source code of this file.

Namespaces

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

Functions

polynomial vcsn::dyn::shortest (const automaton &aut, unsigned max=1)
 The at-most max first accepted words. More...
 
polynomial vcsn::dyn::enumerate (const automaton &aut, unsigned max)
 All the accepted words of at most max letters. More...