stuttering algorithms and properties
The inplace versions of sl()
, sl2()
, closure()
should call a->prop_deterministic(false)
whenever they modify the automaton, since the newly added edges break the determinism.
Is there a way we can write tests to avoid fogetting those steps in the future?
The same problem exist with is_inherently_weak
and is_state_based
.