cudd-0.1.0.4: Bindings to the CUDD binary decision diagrams library
Cudd.Convert
fromImperativeNode :: DDManager -> DDNode s u -> DDNode Source #
fromImperativeManager :: DDManager s u -> DDManager Source #
toImperativeNode :: DDNode -> ST s (DDNode s u) Source #
toImperativeManager :: DDManager -> DDManager s u Source #