Re: [Spot] spot-beginner questions

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