is_deterministic, is_weak, etc should set the property
If is_deterministic()
or a similar function discovers that prop_deterministic()
equals trival::maybe()
, it should update that value after computing it.
We don't care if the input of is_deterministic()
is declared as const
: setting this property is not really changing the automaton.