20 Oct
2011
20 Oct
'11
2:47 p.m.
Hello and sorry for the too many questions!
I think I have answered myself w.r.t the complementation algorithms. It
seems that safra does what I want.
Yet another thing came up: even when I implement the method
transition_annotation, the dotty output seems to ignore that. Am I doing
something wrong?
On the other hand replay_run seems to honour my method.
Nikos
On 18/10/11 15:38, Nikos Gorogiannis wrote:
Hi,
There seem to be at least three complementation algorithms in Spot. I
have constructed an automaton as a TGBA; can all algorithms be used with
it? From my reading, the kv and saba cannot, as they treat the TGBA as a
states-based Bucchi automaton. Is this correct?
Thanks
Nikos