Universal automaton for Boolean rational languages. More...
Include dependency graph for universal.hh:
Go to the source code of this file.
Namespaces | |
| namespace | vcsn |
The main namespace of the Vaucanson library. | |
Functions | |
Universal algorithm | |
| template<typename A , typename AI > | |
| Element< A, AI > | universal (const Element< A, AI > &a) |
| Build a universal automaton from a Boolean automaton. | |
Detailed Description
Universal automaton for Boolean rational languages.
- See also:
- universal()
Definition in file universal.hh.
