21 Oct
2020
21 Oct
'20
10:49 a.m.
On Wed, Oct 21, 2020 at 10:15 AM רועי פוגלר <roi.fogler(a)gmail.com> wrote:
How can I print the automata graph?
aut.show() and display(aut) does not work in simple python file (not jupyter notebook)
print(aut.to_str('dot'))
print(aut.to_str('hoa'))
print(aut.to_str('spin'))
Any option that you would pass to --dot, --hoa, or --spin on the
command line can be passed as a second argument to to_str().