-
Sarah O'Connor authored
* include/vaucanson/z_fmp_transducer.hh: New. Add a context header for transducers seen as automata over a free monoid product, with multiplicity in Z semiring. * include/vaucanson/contexts/fmp_transducer_functions.thh, * include/vaucanson/contexts/fmp_transducer_functions.thxx: New. Add new_automaton() and make_couple() functions, to ease the creation of an automaton_t and a series_elt_t. * include/Makefile.am: Update. * include/vaucanson/fmp_transducer.hh: Include fmp_transducer_functions.thh file. * src/tests/context_headers/fmp_transducers/Makefile.am, * src/tests/context_headers/fmp_transducers/global_consistency_test.hh: New. Add a consistency test for fmp transducers context headers. * src/tests/context_headers/Makefile.am, * configure.ac: Update * src/tests/test-suites/context_headers_z_fmp_transducer.defs: New. Instanciate test on fmp transducers on Z semiring. * src/tests/test-suites/generate-all.sh: Update. * include/vaucanson/contexts/free_monoid_product.thh: Modify a wrong include.
64602fd5
To find the state of this project's repository at the time of any of these versions, check out the tags.