Skip to content
Blame Permalink
  • Jerome Galtier's avatar
    2122559c
    Add automata projection algorithms to Taf-Kit. · 2122559c
    Jerome Galtier authored 
    	* taf-kit/src/Makefile.am: Use new macros.
	* taf-kit/src/common_automaton_commands.hh: Define the new
	  first_projection and second_projection commands.
	* taf-kit/src/pipe.hh,
	* taf-kit/src/pipe_writers.hh,
	* taf-kit/src/pipe_writers.hxx: Update to support auxiliary
	  automaton types.
    2122559c
    Add automata projection algorithms to Taf-Kit.
    Jerome Galtier authored 
    	* taf-kit/src/Makefile.am: Use new macros.
	* taf-kit/src/common_automaton_commands.hh: Define the new
	  first_projection and second_projection commands.
	* taf-kit/src/pipe.hh,
	* taf-kit/src/pipe_writers.hh,
	* taf-kit/src/pipe_writers.hxx: Update to support auxiliary
	  automaton types.