This requires parity acceptance to use the linear encoding discussed in #44 to be used by default instead of the quadratic encoding we had before (even after #42).
It also adds a warning that parity automata are more than automata with parity acceptance. I think the additional property should be one of the property we support in property: as it enables some nice simplifications and possibly some more efficient storage of acceptance sets.
This requires parity acceptance to use the linear encoding discussed in #44 to be used by default instead of the quadratic encoding we had before (even after #42).
It also adds a warning that parity automata are more than automata with parity acceptance. I think the additional property should be one of the property we support in
property:
as it enables some nice simplifications and possibly some more efficient storage of acceptance sets.