obdd-0.8.4: Ordered Reduced Binary Decision Diagrams
Safe HaskellNone
LanguageHaskell2010

OBDD.Display

Synopsis

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.

toDot Source #

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 Source #

text :: Show a => a -> Text Source #