Cudd.File

Documentation

data DddmpVarInfoType

Constructors

DddmpVarids

DddmpVarpermids

DddmpVarauxids

DddmpVarnames

DddmpVardefault

Instances

Enum DddmpVarInfoType

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

Constructors

DddmpModeText

DddmpModeBinary

DddmpModeDefault

Instances

Enum DddmpMode

Methods

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

Constructors

DddmpVarMatchids

DddmpVarMatchpermids

DddmpVarMatchauxids

DddmpVarMatchnames

DddmpVarComposeids

Instances

Enum DddmpVarMatchType

Methods

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

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