Jun-01-2018, 08:17 AM
Hi,
I'm using ipython for drawing binary decision diagrams but i have a problem.
I'm trying to have a graphical model of this:
anyone can help me?
Apparently my graph is now made, but how do I see it? There are no instructions for that on the website
I'm using ipython for drawing binary decision diagrams but i have a problem.
I'm trying to have a graphical model of this:
In [1]: %load_ext gvmagic In [2]: import pyeda In [3]: from pyeda.inter import * In [4]: a, b, c = map(bddvar, 'abc') In [5]: f = a & b | a & c | b & c In [6]: %dotobj f In [7]: f.to_dot() Out[7]: 'graph BDD { n140390891948072 [label=0,shape=box]; n140390892027576 [label=1,shape=box]; n140390840874880 [label="c",shape=circle]; n140390840893680 [label="b",shape=circle]; n140390840906304 [label="b",shape=circle]; n140390840906248 [label="a",shape=circle]; n140390840874880 -- n140390891948072 [label=0,style=dashed]; n140390840874880 -- n140390892027576 [label=1]; n140390840893680 -- n140390891948072 [label=0,style=dashed]; n140390840893680 -- n140390840874880 [label=1]; n140390840906304 -- n140390840874880 [label=0,style=dashed]; n140390840906304 -- n140390892027576 [label=1]; n140390840906248 -- n140390840893680 [label=0,style=dashed]; n140390840906248 -- n140390840906304 [label=1]; }'this is the example that is available in pyeda documentation, but i didn't see any way to importing this code to jpg/png files!
anyone can help me?
Apparently my graph is now made, but how do I see it? There are no instructions for that on the website