HasCacBDD-0.1.0.1: Haskell bindings for CacBDD
Data.HasCacBDD.Visuals
Description
Very simple visualisation of BDDs using dot.
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.