• Guillaume Sadegh's avatar
    Add an algorithm to complement Büchi automata. · c5f8eafb
    Guillaume Sadegh authored
    	* src/tgba/tgbacomplement.hh, src/tgba/tgbacomplement.cc: New
    	files. The complementation algorithm.
    	* src/tgba/Makefile.am: Adjust.
    	* src/tgbatest/complementation.test,
    	src/tgbatest/complementation.cc: New files. Test suite for the
    	complementation algorithm.
    	* src/tgbatest/Makefile.am: Adjust.
    	* src/tgbaalgos/Makefile.am: Reformat the header using 80
To find the state of this project's repository at the time of any of these versions, check out the tags.