twa::is_deterministic(), twa::is_unambiguous() and friends are confusing
We have spot::twa::is_deterministic()
that is a constant-time accessor whose result should be interpreted as "Yes/Maybe", and spot::is_deterministic(aut)
that actually check whether the automaton is deterministic.
This has been a source of confusion.
Also in Python it would be nice if aut.is_unambiguous() and spot.is_unambiguous(aut) would be equivalent, as this is already the case for many functions.
I suggest to rename twa::is_*
to twa::prop_*
, since those should mostly correspond to the properties of HOA.