-
Sarah O'Connor authored
* include/vaucanson/z_transducer.hh: New. Add a context header for transducers on Z semiring. * include/Makefile.am: Update accordingly. * include/vaucanson/contexts/fmp_transducer_functions.thh, * include/vaucanson/contexts/fmp_transducer_functions.thxx: Modify 'make_couple' function to return a monoid_elt_t instead of a series_elt_t. * src/tests/context_headers/fmp_transducers/global_consistency_test.hh: Update accordingly. * src/tests/test-suites/context_headers_z_transducer.defs: New. Instantiate a test for the new context header. * src/tests/test-suites/z_transducer.defs: New. Instantiate a test on transducers on Z semiring. * src/tests/test-suites/z_fmp_transducer.defs: New. Instantiate a test on fmp transducers on Z semiring. * src/tests/test-suites/generate-all.sh: Update accordingly. * src/tests/automata/algos/fmp_transducers/instantiation_test.hh: Remove useless test. * src/tests/automata/algos/fmp_transducers/Makefile.am: Update accordingly.
9fa4d218