Thank you, that's exactly what I was looking for, but I still didn't understand the following:

a. What means [0, 2] in aut.new_edge(2, 1, p1 | p2, [0, 2]);

b. Can I set the automata to buchi directly?

Regards,
Roi

On Tue, 20 Oct 2020 at 11:18, Alexandre Duret-Lutz <adl@lrde.epita.fr> wrote:

Hi Roi,

‪On Tue, Oct 20, 2020 at 10:08 AM ‫רועי פוגלר‬‎ <roi.fogler@gmail.com> wrote:‬
> I'm trying to use the spot tool (python version) and I'm trying to figure out how to build spot-automata (spot.twa_graph object) type when my input is the edges, states and accepting states.
> can you help me please with that?

It seems this is what https://spot.lrde.epita.fr/tut22.html#sba is
demonstrating?

> In addition, is there an example of Angluin implementation using Spot?

Not that I know of.

Best regards,
--
Alexandre Duret-Lutz