6 Mar
2021
6 Mar
'21
12:51 p.m.
Tobias John <tobias.john(a)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.