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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information