ltlcross: better complementation of DRA and DSA
(Suggested by Joachim Klein.)
When ltlcross reads a DSA, or a DRA that cannot be converted to deterministic BA, it could still generate a complement automaton by just using the opposite acceptance.
(Suggested by Joachim Klein.)
When ltlcross reads a DSA, or a DRA that cannot be converted to deterministic BA, it could still generate a complement automaton by just using the opposite acceptance.