Skip to content
  • Sarah O'Connor's avatar
    2005-06-03 Sarah O'Connor <sarah.o-connor@lrde.epita.fr> · 9fa4d218
    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