cudd-0.1.0.3.1: Bindings to the CUDD binary decision diagrams library
Cudd.File
data DddmpVarInfoType Source #
Constructors
Instances
Methods
succ :: DddmpVarInfoType -> DddmpVarInfoType #
pred :: DddmpVarInfoType -> DddmpVarInfoType #
toEnum :: Int -> DddmpVarInfoType #
fromEnum :: DddmpVarInfoType -> Int #
enumFrom :: DddmpVarInfoType -> [DddmpVarInfoType] #
enumFromThen :: DddmpVarInfoType -> DddmpVarInfoType -> [DddmpVarInfoType] #
enumFromTo :: DddmpVarInfoType -> DddmpVarInfoType -> [DddmpVarInfoType] #
enumFromThenTo :: DddmpVarInfoType -> DddmpVarInfoType -> DddmpVarInfoType -> [DddmpVarInfoType] #
data DddmpMode Source #
succ :: DddmpMode -> DddmpMode #
pred :: DddmpMode -> DddmpMode #
toEnum :: Int -> DddmpMode #
fromEnum :: DddmpMode -> Int #
enumFrom :: DddmpMode -> [DddmpMode] #
enumFromThen :: DddmpMode -> DddmpMode -> [DddmpMode] #
enumFromTo :: DddmpMode -> DddmpMode -> [DddmpMode] #
enumFromThenTo :: DddmpMode -> DddmpMode -> DddmpMode -> [DddmpMode] #
data DddmpVarMatchType Source #
succ :: DddmpVarMatchType -> DddmpVarMatchType #
pred :: DddmpVarMatchType -> DddmpVarMatchType #
toEnum :: Int -> DddmpVarMatchType #
fromEnum :: DddmpVarMatchType -> Int #
enumFrom :: DddmpVarMatchType -> [DddmpVarMatchType] #
enumFromThen :: DddmpVarMatchType -> DddmpVarMatchType -> [DddmpVarMatchType] #
enumFromTo :: DddmpVarMatchType -> DddmpVarMatchType -> [DddmpVarMatchType] #
enumFromThenTo :: DddmpVarMatchType -> DddmpVarMatchType -> DddmpVarMatchType -> [DddmpVarMatchType] #
cuddBddStore :: DDManager -> String -> DDNode -> [Int] -> DddmpMode -> DddmpVarInfoType -> String -> IO Bool Source #
cuddBddLoad :: DDManager -> DddmpVarMatchType -> [Int] -> [Int] -> DddmpMode -> String -> IO (Maybe DDNode) Source #