Copyright	(c) Masahiro Sakai 2017
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	provisional
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010
Extensions	Cpp ScopedTypeVariables BangPatterns DeriveDataTypeable ExplicitForAll

ToySolver.SAT.Solver.SLS.ProbSAT

Description

Documentation

Constructors

Options
Fields optTarget :: !Weight optMaxTries :: !Int optMaxFlips :: !Int optPickClauseWeighted :: Bool

Instances details

Show Options Source #
Instance details Defined in ToySolver.SAT.Solver.SLS.ProbSAT Methods showsPrec :: Int -> Options -> ShowS # show :: Options -> String # showList :: [Options] -> ShowS #
Default Options Source #
Instance details Defined in ToySolver.SAT.Solver.SLS.ProbSAT Methods def :: Options #
Eq Options Source #
Instance details Defined in ToySolver.SAT.Solver.SLS.ProbSAT Methods (==) :: Options -> Options -> Bool # (/=) :: Options -> Options -> Bool #

Constructors

Callbacks
Fields cbGenerateInitialSolution :: Solver -> IO Model cbOnUpdateBestSolution :: Solver -> Weight -> Model -> IO ()

Instances details

Default Callbacks Source #
Instance details Defined in ToySolver.SAT.Solver.SLS.ProbSAT Methods def :: Callbacks #

Constructors

Statistics
Fields statTotalCPUTime :: !TimeSpec statFlips :: !Int statFlipsPerSecond :: !Double

Instances details

Show Statistics Source #
Instance details Defined in ToySolver.SAT.Solver.SLS.ProbSAT Methods showsPrec :: Int -> Statistics -> ShowS # show :: Statistics -> String # showList :: [Statistics] -> ShowS #
Default Statistics Source #
Instance details Defined in ToySolver.SAT.Solver.SLS.ProbSAT Methods def :: Statistics #
Eq Statistics Source #
Instance details Defined in ToySolver.SAT.Solver.SLS.ProbSAT Methods (==) :: Statistics -> Statistics -> Bool # (/=) :: Statistics -> Statistics -> Bool #