• Thibaud Michaud's avatar
    Adding function to test if two büchi automata are isomorphic. · 97fdea9d
    Thibaud Michaud authored
    And add the corresponding --isomorphic=FILENAME option to autfilt.
    
    * src/tgbaalgos/are_isomorphic.cc, src/tgbaalgos/are_isomorphic.hh:
    New.
    * src/tgbaalgos/Makefile.am: Add it.
    * src/bin/autfilt.cc: Add --isomorphic option.
    * src/tgbatest/isomorph.test: Test it.
    * src/tgbatest/Makefile.am: Add it.
    97fdea9d
autfilt.cc 14.4 KB