ltlcross -D should allow setting a limit to the size of the deterministic automaton
I'd like to use for example ltlcross -D1000
and not have ltlcross
waste to much time determinizing automata that will become too large, especially since those deterministic automata will be ultimately passed through remove_fin()
.
This would require tgba_determinize()
to accept an upper-bound on the number of states it can generate, and return nullptr
when that is reached.