cudd-0.1.0.2: Bindings to the CUDD binary decision diagrams library

Safe HaskellNone
LanguageHaskell2010

Cudd.File

Documentation

data DddmpVarInfoType Source

Constructors

DddmpVarids 
DddmpVarpermids 
DddmpVarauxids 
DddmpVarnames 
DddmpVardefault 

Instances

data DddmpMode Source

Constructors

DddmpModeText 
DddmpModeBinary 
DddmpModeDefault 

Instances

data DddmpVarMatchType Source

Constructors

DddmpVarMatchids 
DddmpVarMatchpermids 
DddmpVarMatchauxids 
DddmpVarMatchnames 
DddmpVarComposeids 

Instances

cuddBddStore :: DDManager -> String -> DDNode -> [Int] -> DddmpMode -> DddmpVarInfoType -> String -> IO Bool Source

cuddBddLoad :: DDManager -> DddmpVarMatchType -> [Int] -> [Int] -> DddmpMode -> String -> IO (Maybe DDNode) Source