SMCDEL.Other.BDD2Form
Description
Helper module for Bdd-to-Formula conversion.
formOf :: Bdd -> Form Source #
Convert a Bdd from HasCacBDD to SMCDEL Formulas.
Bdd
Form