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.FRAIG

Description

Incomplete.* Binding of sat/fraig/fraig.h for configuring the process of generating functionally reduced AIGs. Fraiging is the special sauce that makes ABC outperform many vanilla SAT solvers.

Documentation

Constructors

Fields

fUseFraiging'Prove_Params :: Bool
enables fraiging
fUseRewriting'Prove_Params :: Bool
enables rewriting
fUseBdds'Prove_Params :: Bool
enables BDD construction when other methods fail
fVerbose'Prove_Params :: Bool
prints verbose stats
nItersMax'Prove_Params :: Int
the number of iterations
nMiteringLimitStart'Prove_Params :: Int
starting mitering limit
nMiteringLimitMulti'Prove_Params :: Float
multiplicative coefficient to increase the limit in each iteration
nRewritingLimitStart'Prove_Params :: Int
the number of rewriting iterations
nRewritingLimitMulti'Prove_Params :: Float
multiplicative coefficient to increase the limit in each iteration
nFraigingLimitStart'Prove_Params :: Int
starting backtrack(conflict) limit
nFraigingLimitMulti'Prove_Params :: Float
multiplicative coefficient to increase the limit in each iteration
nBddSizeLimit'Prove_Params :: Int
the number of BDD nodes when construction is aborted
fBddReorder'Prove_Params :: Bool
enables dynamic BDD variable reordering
nMiteringLimitLast'Prove_Params :: Int
final mitering limit
nTotalBacktrackLimit'Prove_Params :: Int64
global limit on the number of backtracks
nTotalInspectLimit'Prove_Params :: Int64
global limit on the number of clause inspects
nTotalBacktracksMade'Prove_Params :: Int64
the total number of backtracks made
nTotalInspectsMade'Prove_Params :: Int64
the total number of inspects made

Instances

Eq Prove_Params_t_ Source #
Methods (==) :: Prove_Params_t_ -> Prove_Params_t_ -> Bool # (/=) :: Prove_Params_t_ -> Prove_Params_t_ -> Bool #
Read Prove_Params_t_ Source #
Methods readsPrec :: Int -> ReadS Prove_Params_t_ # readList :: ReadS [Prove_Params_t_] # readPrec :: ReadPrec Prove_Params_t_ # readListPrec :: ReadPrec [Prove_Params_t_] #
Show Prove_Params_t_ Source #
Methods showsPrec :: Int -> Prove_Params_t_ -> ShowS # show :: Prove_Params_t_ -> String # showList :: [Prove_Params_t_] -> ShowS #
Storable Prove_Params_t_ Source #
Methods sizeOf :: Prove_Params_t_ -> Int # alignment :: Prove_Params_t_ -> Int # peekElemOff :: Ptr Prove_Params_t_ -> Int -> IO Prove_Params_t_ # pokeElemOff :: Ptr Prove_Params_t_ -> Int -> Prove_Params_t_ -> IO () # peekByteOff :: Ptr b -> Int -> IO Prove_Params_t_ # pokeByteOff :: Ptr b -> Int -> Prove_Params_t_ -> IO () # peek :: Ptr Prove_Params_t_ -> IO Prove_Params_t_ # poke :: Ptr Prove_Params_t_ -> Prove_Params_t_ -> IO () #