Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
display :: (Ord v, Show v) => OBDD v -> IO () Source #
Calls the dot
executable (must be in $PATH
)
to draw a diagram in an X11 window.
Will block until this window is closed.
Window can be closed gracefully
by typing q
when it has focus.
display' :: (Ord v, Show v) => OBDD v -> IO () Source #
same as display
, but does not show the False
node
and the edges pointing to False
.
a textual representation of the BDD that is suitable as input to the "dot" program from the graphviz suite.