| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
OBDD
Description
Reduced ordered binary decision diagrams, pure Haskell implementation. (c) Johannes Waldmann, 2008
This module is intended to be imported qualified because it overloads some Prelude names.
For a similar, but much more elaborate project, see http://www.informatik.uni-kiel.de/~mh/lehre/diplomarbeiten/christiansen.pdf but I'm not sure where that source code would be available.
- data OBDD v
- display :: Show v => OBDD v -> IO ()
- module OBDD.Property
- module OBDD.Operation
- module OBDD.Make
Documentation
display :: 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.
module OBDD.Property
module OBDD.Operation
module OBDD.Make