cudd-0.1.0.0: Bindings to the CUDD binary decision diagrams library
Cudd.File
data DddmpVarInfoType Source
Constructors
Instances
data DddmpMode Source
data DddmpVarMatchType Source
cuddBddStore :: DDManager -> String -> DDNode -> [Int] -> DddmpMode -> DddmpVarInfoType -> String -> IO Bool Source
cuddBddLoad :: DDManager -> DddmpVarMatchType -> [Int] -> [Int] -> DddmpMode -> String -> IO (Maybe DDNode) Source