| Copyright | Galois, Inc. 2010-2014 |
|---|---|
| License | BSD3 |
| Maintainer | jhendrix@galois.com |
| Stability | experimental |
| Portability | non-portable (c2hs, language extensions) |
| Safe Haskell | None |
| Language | Haskell98 |
Data.ABC.Internal.CNF
Description
- type Cnf_Dat_t = Ptr Cnf_Dat_t_
- cnfVarNums :: Cnf_Dat_t -> IO (Ptr CInt)
- withCnfDerive :: Aig_Man_t -> CInt -> (Cnf_Dat_t -> IO a) -> IO a
- cnfDataWriteIntoFile :: Cnf_Dat_t -> String -> Int -> Ptr () -> Ptr () -> IO ()
- type Cnf_Man_t = ForeignPtr Cnf_Man_t_
- data Cnf_Man_t_
- cnfManStart :: IO Cnf_Man_t
- cnfDeriveWithMan :: Cnf_Man_t -> Aig_Man_t -> CInt -> IO Cnf_Dat_t
- cnfDataFree :: Cnf_Dat_t -> IO ()
- cnfDataWriteIntoFileWithHeader :: Cnf_Dat_t -> String -> String -> Int -> IO ()
Documentation
withCnfDerive :: Aig_Man_t -> CInt -> (Cnf_Dat_t -> IO a) -> IO a Source
Use results on cnfDerive in a comptuation, then free them.
type Cnf_Man_t = ForeignPtr Cnf_Man_t_ Source
data Cnf_Man_t_ Source
cnfManStart :: IO Cnf_Man_t Source
Create a new CNF manager.
cnfDataFree :: Cnf_Dat_t -> IO () Source