• 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
    	columns.
    c5f8eafb
tgbacomplement.cc 35.9 KB