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_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_cuddInit :: CInt -> CInt -> CInt -> CInt -> CInt -> IO (Ptr CDDManager) 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_cuddBddLeq :: Ptr CDDManager -> Ptr CDDNode -> Ptr CDDNode -> IO CInt 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_cuddIndicesToCube :: Ptr CDDManager -> Ptr CInt -> CInt -> IO (Ptr CDDNode) Source
c_cuddBddComputeCube :: Ptr CDDManager -> Ptr (Ptr CDDNode) -> Ptr CInt -> CInt -> IO (Ptr CDDNode) Source
c_cuddBddToCubeArray :: Ptr CDDManager -> Ptr CDDNode -> Ptr CInt -> IO CInt Source
c_cuddReadSize :: Ptr CDDManager -> IO CInt 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_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_cuddReadMaxCache :: Ptr CDDManager -> IO CInt Source
c_cuddSetMaxCacheHard :: Ptr CDDManager -> CInt -> IO () 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_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_cuddPrintDebug :: Ptr CDDManager -> Ptr CDDNode -> CInt -> CInt -> IO CInt Source
c_cuddIsComplement :: Ptr CDDNode -> 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