Skip to content
Find file Blame History Permalink
  • Jerome Galtier's avatar
    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
To find the state of this project's repository at the time of any of these versions, check out the tags.