-
Laurent XU authored
parity_product_or constructs the sum of two parity automata and it keeps the parity. * spot/twaalgos/parity.cc, spot/twaalgos/parity.hh: Here. * tests/core/parity.cc: Add tests here.
7a118426
parity_product_or constructs the sum of two parity automata and it keeps the parity. * spot/twaalgos/parity.cc, spot/twaalgos/parity.hh: Here. * tests/core/parity.cc: Add tests here.