Data.ABC.Internal.CEC

Contents

• Types
  • Storable types
• Functions
  • cecCec.c
  • cecCore.c

Description

Synopsis

• data Cec_ParCec_t_ = Cec_ParCec_t_ {
  • nBTLimit'Cec_ParCec :: Int
  • nTimeLimit'Cec_ParCec :: Int
  • fUseSmartCnf'Cec_ParCec :: Bool
  • fRewriting'Cec_ParCec :: Bool
  • fNaive'Cec_ParCec :: Bool
  • fVeryVerbose'Cec_ParCec :: Bool
  • fVerbose'Cec_ParCec :: Bool
  • iOutFail'Cec_ParCec :: Int
  }
• data Cec_ParSat_t_ = Cec_ParSat_t_ {
  • nBTLimit'Cec_ParSat :: CInt
  • nSatVarMax'Cec_ParSat :: CInt
  • nCallsRecycle'Cec_ParSat :: CInt
  • fNonChrono'Cec_ParSat :: Bool
  • fPolarFlip'Cec_ParSat :: Bool
  • fCheckMiter'Cec_ParSat :: Bool
  • fLearnCls'Cec_ParSat :: Bool
  • fVerbose'Cec_ParSat :: Bool
  }
• cecManVerify :: Gia_Man_t -> Cec_ParCec_t_ -> IO CInt
• cecManSatDefaultParams :: Cec_ParSat_t_
• cecManCecDefaultParams :: Cec_ParCec_t_
• cecManSatSolving :: Gia_Man_t -> Cec_ParSat_t_ -> IO Gia_Man_t
• data Cec_ManPat_t_
• type Cec_ManPat_t = Ptr Cec_ManPat_t_
• cecManPatStart :: IO Cec_ManPat_t
• cecManPatStop :: Cec_ManPat_t -> IO ()
• cecManPatPatCount :: Cec_ManPat_t -> IO CInt
• cecManPatPrintStats :: Cec_ManPat_t -> IO ()
• cecManSatSolve :: Cec_ManPat_t -> Gia_Man_t -> Cec_ParSat_t -> IO ()

Types

Storable types

Functions

cecCec.c

cecCore.c