14 Feb
2024
14 Feb
'24
10:18 a.m.
John Komp <John.Komp(a)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.