-
Maximilien Colange authored
* spot/twaalgos/toparity.cc: here * spot/twa/acc.hh, spot/twa/acc.cc: compute symmetries of an acceptance condition * tests/python/accparse2.py, tests/python/toparity.py: test it
516e9536
* spot/twaalgos/toparity.cc: here * spot/twa/acc.hh, spot/twa/acc.cc: compute symmetries of an acceptance condition * tests/python/accparse2.py, tests/python/toparity.py: test it