OBDD.Display

Documentation

display :: (Ord v, Show v) => OBDD v -> IO ()

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 ()

same as display, but does not show the False node and the edges pointing to False.

toDot

Arguments

:: (Ord v, Show v)

=> Bool

suppress pointers to False

-> OBDD v

-> Text

a textual representation of the BDD that is suitable as input to the "dot" program from the graphviz suite.

fresh :: Monoid b => RWS a b Int Int

mkLabel :: Text -> Text

unquote :: Text -> Text

text :: Show a => a -> Text