Data.HasCacBDD.Visuals

Very simple visualisation of BDDs using dot.

Documentation

genGraph :: Bdd -> String

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

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

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

showGraph :: Bdd -> IO ()

Display the graph of a BDD with dot.

svgGraph :: Bdd -> IO String

Generate SVG of a BDD with dot.