Tobias John <tobias.john@tu-dresden.de> writes:

thanks for your quick response. Your suggestion solves my problem.

I think a function like "set_default_original_states()" would be helpful but it is not necessary. In my opinion, it is more important to mention somewhere in the documentation, e.g. at

https://spot.lrde.epita.fr/concepts.html#named-properties

that one needs to set the property somewhen before transforming the automaton.

Yes. The usage is however not very uniform. Some functions, like degeneralize() have to maintain the equivalent of "original-states" in order to work. This function will always define "original-states" if it wasn't present, because that comes for free. However if "original-states" was defined previously, the two mappings will be composed at an extra-cost.