Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data CDDManager Source #
c_cuddReadOne :: Ptr CDDManager -> IO (Ptr CDDNode) Source #
c_cuddReadLogicZero :: Ptr CDDManager -> IO (Ptr CDDNode) Source #
c_cuddReadOneWithRef :: Ptr CDDManager -> IO (Ptr CDDNode) Source #
c_cuddReadLogicZeroWithRef :: Ptr CDDManager -> IO (Ptr CDDNode) Source #
c_cuddBddIthVar :: Ptr CDDManager -> CInt -> IO (Ptr CDDNode) Source #
c_cuddBddIte :: Ptr CDDManager -> Ptr CDDNode -> Ptr CDDNode -> Ptr CDDNode -> IO (Ptr CDDNode) Source #
c_cuddIterDerefBdd :: Ptr CDDManager -> Ptr CDDNode -> IO () Source #
c_cuddShuffleHeap :: Ptr CDDManager -> Ptr CInt -> IO CInt Source #
c_cuddSetVarMap :: Ptr CDDManager -> Ptr (Ptr CDDNode) -> Ptr (Ptr CDDNode) -> CInt -> IO CInt Source #
c_cuddBddVarMap :: Ptr CDDManager -> Ptr CDDNode -> IO (Ptr CDDNode) Source #
c_cuddBddSwapVariables :: Ptr CDDManager -> Ptr CDDNode -> Ptr (Ptr CDDNode) -> Ptr (Ptr CDDNode) -> CInt -> IO (Ptr CDDNode) Source #
c_cuddSupport :: Ptr CDDManager -> Ptr CDDNode -> IO (Ptr CDDNode) Source #
c_cuddSupportIndex :: Ptr CDDManager -> Ptr CDDNode -> IO (Ptr CInt) Source #
c_cuddBddComputeCube :: Ptr CDDManager -> Ptr (Ptr CDDNode) -> Ptr CInt -> CInt -> IO (Ptr CDDNode) Source #
c_cuddReadSize :: Ptr CDDManager -> IO CInt Source #
c_cuddBddCompose :: Ptr CDDManager -> Ptr CDDNode -> Ptr CDDNode -> CInt -> IO (Ptr CDDNode) Source #
c_cuddBddAndAbstract :: Ptr CDDManager -> Ptr CDDNode -> Ptr CDDNode -> Ptr CDDNode -> IO (Ptr CDDNode) Source #
c_cuddBddXorExistAbstract :: Ptr CDDManager -> Ptr CDDNode -> Ptr CDDNode -> Ptr CDDNode -> IO (Ptr CDDNode) Source #
c_cuddBddLeqUnless :: Ptr CDDManager -> Ptr CDDNode -> Ptr CDDNode -> Ptr CDDNode -> IO CInt Source #
c_cuddXeqy :: Ptr CDDManager -> CInt -> Ptr (Ptr CDDNode) -> Ptr (Ptr CDDNode) -> IO (Ptr CDDNode) Source #
c_cuddDebugCheck :: Ptr CDDManager -> IO CInt Source #
c_cuddCheckKeys :: Ptr CDDManager -> IO CInt Source #
c_cuddBddPickOneMinterm :: Ptr CDDManager -> Ptr CDDNode -> Ptr (Ptr CDDNode) -> CInt -> IO (Ptr CDDNode) Source #
c_cuddCheckZeroRef :: Ptr CDDManager -> IO CInt Source #
c_cuddReadInvPerm :: Ptr CDDManager -> CInt -> IO CInt Source #
c_cuddReadPerm :: Ptr CDDManager -> CInt -> IO CInt Source #
c_cuddReadNodeCount :: Ptr CDDManager -> IO CLong Source #
c_cuddReadMaxCache :: Ptr CDDManager -> IO CInt Source #
c_cuddReadMaxCacheHard :: Ptr CDDManager -> IO CInt Source #
c_cuddSetMaxCacheHard :: Ptr CDDManager -> CInt -> IO () Source #
c_cuddReadCacheSlots :: Ptr CDDManager -> IO CInt Source #
c_cuddBddAndLimit :: Ptr CDDManager -> Ptr CDDNode -> Ptr CDDNode -> CUInt -> IO (Ptr CDDNode) Source #
c_cuddBddNewVarAtLevel :: Ptr CDDManager -> CInt -> IO (Ptr CDDNode) Source #
c_cuddReadTree :: Ptr CDDManager -> IO (Ptr CMtrNode) Source #
c_cuddCountMinterm :: Ptr CDDManager -> Ptr CDDNode -> CInt -> IO CDouble Source #
c_cuddApaCountMinterm :: Ptr CDDManager -> Ptr CDDNode -> CInt -> Ptr CInt -> IO (Ptr CInt) Source #
c_cuddXgty :: Ptr CDDManager -> CInt -> Ptr (Ptr CDDNode) -> Ptr (Ptr CDDNode) -> Ptr (Ptr CDDNode) -> IO (Ptr CDDNode) Source #
c_cuddInequality :: Ptr CDDManager -> CInt -> CInt -> Ptr (Ptr CDDNode) -> Ptr (Ptr CDDNode) -> IO (Ptr CDDNode) Source #
c_cuddDisequality :: Ptr CDDManager -> CInt -> CInt -> Ptr (Ptr CDDNode) -> Ptr (Ptr CDDNode) -> IO (Ptr CDDNode) Source #
c_cuddBddInterval :: Ptr CDDManager -> CInt -> Ptr (Ptr CDDNode) -> CInt -> CInt -> IO (Ptr CDDNode) Source #
c_cuddBddTransfer :: Ptr CDDManager -> Ptr CDDManager -> Ptr CDDNode -> IO (Ptr CDDNode) Source #
c_cuddRecursiveDerefPtr :: FunPtr (Ptr CDDManager -> Ptr CDDNode -> IO ()) Source #
c_cuddDelayedDerefBddPtr :: FunPtr (Ptr CDDManager -> Ptr CDDNode -> IO ()) Source #
c_cuddIterDerefBddPtr :: FunPtr (Ptr CDDManager -> Ptr CDDNode -> IO ()) Source #
c_cuddBddNewVar :: Ptr CDDManager -> IO (Ptr CDDNode) Source #
c_cuddBddVectorCompose :: Ptr CDDManager -> Ptr CDDNode -> Ptr (Ptr CDDNode) -> IO (Ptr CDDNode) Source #
c_cuddQuit :: Ptr CDDManager -> IO () Source #
c_cuddPrintMinterm :: Ptr CDDManager -> Ptr CDDNode -> IO () Source #
c_cuddCheckCube :: Ptr CDDManager -> Ptr CDDNode -> IO CInt Source #
c_cuddPrintInfo :: Ptr CDDManager -> Ptr CFile -> IO CInt Source #
c_cuddDumpDot :: Ptr CDDManager -> CInt -> Ptr (Ptr CDDNode) -> Ptr CString -> Ptr CString -> Ptr CFile -> IO CInt Source #
c_cuddFirstCube :: Ptr CDDManager -> Ptr CDDNode -> Ptr (Ptr CInt) -> Ptr CInt -> IO (Ptr CDDGen) Source #