cudd 0.1.0.1 → 0.1.0.2
raw patch · 1 files changed
+27/−11 lines, 1 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Cudd.Common: DontCare :: SatBit
- Cudd.Common: One :: SatBit
- Cudd.Common: Zero :: SatBit
- Cudd.Cudd: DDManager :: (Ptr CDDManager) -> DDManager
- Cudd.Cudd: DDNode :: ForeignPtr CDDNode -> DDNode
- Cudd.Cudd: DontCare :: SatBit
- Cudd.Cudd: One :: SatBit
- Cudd.Cudd: Zero :: SatBit
- Cudd.Cudd: unDDNode :: DDNode -> ForeignPtr CDDNode
- Cudd.File: DddmpModeBinary :: DddmpMode
- Cudd.File: DddmpModeDefault :: DddmpMode
- Cudd.File: DddmpModeText :: DddmpMode
- Cudd.File: DddmpVarComposeids :: DddmpVarMatchType
- Cudd.File: DddmpVarMatchauxids :: DddmpVarMatchType
- Cudd.File: DddmpVarMatchids :: DddmpVarMatchType
- Cudd.File: DddmpVarMatchnames :: DddmpVarMatchType
- Cudd.File: DddmpVarMatchpermids :: DddmpVarMatchType
- Cudd.File: DddmpVarauxids :: DddmpVarInfoType
- Cudd.File: DddmpVardefault :: DddmpVarInfoType
- Cudd.File: DddmpVarids :: DddmpVarInfoType
- Cudd.File: DddmpVarnames :: DddmpVarInfoType
- Cudd.File: DddmpVarpermids :: DddmpVarInfoType
- Cudd.Hook: CuddPostGcHook :: CuddHookType
- Cudd.Hook: CuddPostReorderingHook :: CuddHookType
- Cudd.Hook: CuddPreGcHook :: CuddHookType
- Cudd.Hook: CuddPreReorderingHook :: CuddHookType
- Cudd.Imperative: DDGen :: (Ptr CDDGen) -> DDGen s u t
- Cudd.Imperative: DDManager :: Ptr CDDManager -> DDManager s u
- Cudd.Imperative: DDNode :: Ptr CDDNode -> DDNode s u
- Cudd.Imperative: unDDManager :: DDManager s u -> Ptr CDDManager
- Cudd.Imperative: unDDNode :: DDNode s u -> Ptr CDDNode
- Cudd.MTR: MtrNode :: (Ptr CMtrNode) -> MtrNode s
- Cudd.MTR: Mtrdefault :: MTRType
- Cudd.MTR: Mtrfixed :: MTRType
- Cudd.MTR: Mtrnewnode :: MTRType
- Cudd.MTR: Mtrsoft :: MTRType
- Cudd.MTR: Mtrterminal :: MTRType
- Cudd.Reorder: CuddReorderAnnealing :: CuddReorderingType
- Cudd.Reorder: CuddReorderExact :: CuddReorderingType
- Cudd.Reorder: CuddReorderGenetic :: CuddReorderingType
- Cudd.Reorder: CuddReorderGroupSift :: CuddReorderingType
- Cudd.Reorder: CuddReorderGroupSiftConv :: CuddReorderingType
- Cudd.Reorder: CuddReorderLazySift :: CuddReorderingType
- Cudd.Reorder: CuddReorderLinear :: CuddReorderingType
- Cudd.Reorder: CuddReorderLinearConverge :: CuddReorderingType
- Cudd.Reorder: CuddReorderNone :: CuddReorderingType
- Cudd.Reorder: CuddReorderRandom :: CuddReorderingType
- Cudd.Reorder: CuddReorderRandomPivot :: CuddReorderingType
- Cudd.Reorder: CuddReorderSame :: CuddReorderingType
- Cudd.Reorder: CuddReorderSift :: CuddReorderingType
- Cudd.Reorder: CuddReorderSiftConverge :: CuddReorderingType
- Cudd.Reorder: CuddReorderSymmSift :: CuddReorderingType
- Cudd.Reorder: CuddReorderSymmSiftConv :: CuddReorderingType
- Cudd.Reorder: CuddReorderWindow2 :: CuddReorderingType
- Cudd.Reorder: CuddReorderWindow2Conv :: CuddReorderingType
- Cudd.Reorder: CuddReorderWindow3 :: CuddReorderingType
- Cudd.Reorder: CuddReorderWindow3Conv :: CuddReorderingType
- Cudd.Reorder: CuddReorderWindow4 :: CuddReorderingType
- Cudd.Reorder: CuddReorderWindow4Conv :: CuddReorderingType
+ Cudd.Common: [DontCare] :: SatBit
+ Cudd.Common: [One] :: SatBit
+ Cudd.Common: [Zero] :: SatBit
+ Cudd.Cudd: [DDManager] :: (Ptr CDDManager) -> DDManager
+ Cudd.Cudd: [DDNode] :: ForeignPtr CDDNode -> DDNode
+ Cudd.Cudd: [DontCare] :: SatBit
+ Cudd.Cudd: [One] :: SatBit
+ Cudd.Cudd: [Zero] :: SatBit
+ Cudd.Cudd: [unDDNode] :: DDNode -> ForeignPtr CDDNode
+ Cudd.File: [DddmpModeBinary] :: DddmpMode
+ Cudd.File: [DddmpModeDefault] :: DddmpMode
+ Cudd.File: [DddmpModeText] :: DddmpMode
+ Cudd.File: [DddmpVarComposeids] :: DddmpVarMatchType
+ Cudd.File: [DddmpVarMatchauxids] :: DddmpVarMatchType
+ Cudd.File: [DddmpVarMatchids] :: DddmpVarMatchType
+ Cudd.File: [DddmpVarMatchnames] :: DddmpVarMatchType
+ Cudd.File: [DddmpVarMatchpermids] :: DddmpVarMatchType
+ Cudd.File: [DddmpVarauxids] :: DddmpVarInfoType
+ Cudd.File: [DddmpVardefault] :: DddmpVarInfoType
+ Cudd.File: [DddmpVarids] :: DddmpVarInfoType
+ Cudd.File: [DddmpVarnames] :: DddmpVarInfoType
+ Cudd.File: [DddmpVarpermids] :: DddmpVarInfoType
+ Cudd.Hook: [CuddPostGcHook] :: CuddHookType
+ Cudd.Hook: [CuddPostReorderingHook] :: CuddHookType
+ Cudd.Hook: [CuddPreGcHook] :: CuddHookType
+ Cudd.Hook: [CuddPreReorderingHook] :: CuddHookType
+ Cudd.Imperative: [DDGen] :: (Ptr CDDGen) -> DDGen s u t
+ Cudd.Imperative: [DDManager] :: Ptr CDDManager -> DDManager s u
+ Cudd.Imperative: [DDNode] :: Ptr CDDNode -> DDNode s u
+ Cudd.Imperative: [unDDManager] :: DDManager s u -> Ptr CDDManager
+ Cudd.Imperative: [unDDNode] :: DDNode s u -> Ptr CDDNode
+ Cudd.MTR: [MtrNode] :: (Ptr CMtrNode) -> MtrNode s
+ Cudd.MTR: [Mtrdefault] :: MTRType
+ Cudd.MTR: [Mtrfixed] :: MTRType
+ Cudd.MTR: [Mtrnewnode] :: MTRType
+ Cudd.MTR: [Mtrsoft] :: MTRType
+ Cudd.MTR: [Mtrterminal] :: MTRType
+ Cudd.Reorder: [CuddReorderAnnealing] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderExact] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderGenetic] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderGroupSiftConv] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderGroupSift] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderLazySift] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderLinearConverge] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderLinear] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderNone] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderRandomPivot] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderRandom] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderSame] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderSiftConverge] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderSift] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderSymmSiftConv] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderSymmSift] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderWindow2Conv] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderWindow2] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderWindow3Conv] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderWindow3] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderWindow4Conv] :: CuddReorderingType
+ Cudd.Reorder: [CuddReorderWindow4] :: CuddReorderingType
Files
- cudd.cabal +27/−11
cudd.cabal view
@@ -1,7 +1,7 @@ -- Initial cudd.cabal generated by cabal init. For further -- documentation, see http://haskell.org/cabal/users-guide/ name: cudd-version: 0.1.0.1+version: 0.1.0.2 synopsis: Bindings to the CUDD binary decision diagrams library description: Bindings to version 2.5.0 of the CUDD binary decision diagrams library. @@ -42,13 +42,29 @@ library- exposed-modules: Cudd.File, Cudd.Convert, Cudd.Reorder, Cudd.MTR, Cudd.Hook, Cudd.Common, Cudd.C, Cudd.Cudd, Cudd.GC, Cudd.Imperative- other-modules: Cudd.ForeignHelpers- other-extensions: ForeignFunctionInterface, CPP, FlexibleContexts, RankNTypes, EmptyDataDecls- build-depends: base >=4.6 && <4.8, mtl >=2.1 && <2.3, array >=0.4 && <0.6, transformers >=0.3 && <0.5- -- hs-source-dirs: - build-tools: c2hs, hsc2hs- default-language: Haskell2010- include-dirs: .- c-sources: c_sources/cuddwrap.c, c_sources/stubs.c- extra-libraries: cudd, mtr, st, util, epd, dddmp, m+ exposed-modules: + Cudd.File, + Cudd.Convert, + Cudd.Reorder, + Cudd.MTR, + Cudd.Hook, + Cudd.Common, + Cudd.C, + Cudd.Cudd, + Cudd.GC, + Cudd.Imperative+ other-modules: Cudd.ForeignHelpers+ other-extensions: ForeignFunctionInterface, CPP, FlexibleContexts, RankNTypes, EmptyDataDecls+ build-depends: + base >=4.7 && <4.9, + mtl >=2.1 && <2.3, + array >=0.4 && <0.6, + transformers >=0.3 && <0.5+ -- hs-source-dirs: + build-tools: c2hs, hsc2hs+ default-language: Haskell2010+ include-dirs: .+ c-sources: + c_sources/cuddwrap.c, + c_sources/stubs.c+ extra-libraries: cudd, mtr, st, util, epd, dddmp, m