Skip to content
  • Guillaume Sadegh's avatar
    Add an algorithm to complement Büchi automata. · c5f8eafb
    Guillaume Sadegh authored
    	* src/tgba/tgbacomplement.hh, src/tgba/ New
    	files. The complementation algorithm.
    	* src/tgba/ Adjust.
    	* src/tgbatest/complementation.test,
    	src/tgbatest/ New files. Test suite for the
    	complementation algorithm.
    	* src/tgbatest/ Adjust.
    	* src/tgbaalgos/ 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.