• Alexandre Duret-Lutz's avatar
    acc: Add operators == and != for acc_code · 33c496a4
    Alexandre Duret-Lutz authored
    and make sure are_isomorphic does not look only at the number of
    acceptance sets
    * src/tgba/acc.hh: Here.
    * src/tgbaalgos/are_isomorphic.cc: Use it to ensure two automata
    have the same acceptance condition.
    * src/tgbatest/explpro4.test: Test product between Büchi and co-Büchi,
    and make sure the isomorphic check look at the acceptance condition.
are_isomorphic.cc 4.44 KB