HasCacBDD-0.1.0.3: Haskell bindings for CacBDD
Safe HaskellNone
LanguageHaskell2010

Data.HasCacBDD.Visuals

Description

Very simple visualisation of BDDs using dot.

Synopsis

Documentation

genGraph :: Bdd -> String Source #

Generate a string which describes the BDD in the dot language.

genGraphWith :: (Int -> String) -> Bdd -> String Source #

Given a function to show variables, generate a string which describes the BDD in the dot language.

showGraph :: Bdd -> IO () Source #

Display the graph of a BDD with dot.

svgGraph :: Bdd -> IO String Source #

Generate SVG of a BDD with dot.