1 Apr
2019
1 Apr
'19
10:33 a.m.
On Fri, Mar 29, 2019 at 11:16 AM hashim ali <hashim_ali94(a)outlook.com> wrote:
Hi,
Similar to highlighting runs on the automaton, is it possible that I can convert a word
to a corresponding run and then I can highlight it on the automaton?
Convert your word W into an automaton AW, then highlight the
intersecting run between your other automaton A and AW.
aw = spot.parse_word('a;cycle{b}').as_automaton()
a.intersecting_run(aw).highlight(5)
display(a)