utility | In Vaucanson, several types of contracts can be placed in the library code |
utility::random | The namespace for the random generation tools |
utility::unique | The namespace for the instance collection tools |
vcsn | The main namespace of the Vaucanson library |
vcsn::algebra::krat_exp_lexing | Misc. declarations used for rational expression lexing |