[Spot] Re: Accessing Condition Formulas

John Komp <John.Komp@Colorado.EDU> writes:

With the Python API, is it possible to directly access the condition formulas on the automata edges? Statements like "aut.show_storage("v”)” will display them in a table. Yet if I cycle through my edges (for ed in aut.out(s):) and look at ed.cond I see it’s a buddy BDD. I can’t go any further than that.

Hi John, BDD is the way those conditions are stored and used through the library. You can explore the BDD using Buddy's bdd_low/bdd_high/bdd_ap. Or another option is to use bdd_to_formula() to convert the BDD into a spot.formula.