Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
(This is a part of MIOS.) Command line option parser
Synopsis
- data MiosConfiguration = MiosConfiguration {
- variableDecayRate :: !Double
- clauseDecayRate :: !Double
- dumpSolverStatMode :: !Int
- emaCoeffs :: !(Int, Int)
- restartExpansion :: !Double
- restartStep :: !Double
- defaultConfiguration :: MiosConfiguration
- data MiosProgramOption = MiosProgramOption {
- _targetFile :: Either String String
- _targets :: [String]
- _outputFile :: Maybe String
- _confVariableDecayRate :: Double
- _confClauseDecayRate :: Double
- _confRestartE :: Double
- _confRestartS :: Double
- _confCheckAnswer :: Bool
- _confVerbose :: Bool
- _confBenchmark :: Integer
- _confBenchSeq :: Int
- _confNoAnswer :: Bool
- _confDumpStat :: Int
- _validateAssignment :: Bool
- _displayHelp :: Bool
- _displayVersion :: Bool
- miosDefaultOption :: MiosProgramOption
- miosOptions :: [OptDescr (MiosProgramOption -> MiosProgramOption)]
- miosUsage :: String -> String
- miosParseOptions :: String -> [String] -> IO MiosProgramOption
- miosParseOptionsFromArgs :: String -> IO MiosProgramOption
- toMiosConf :: MiosProgramOption -> MiosConfiguration
Documentation
data MiosConfiguration Source #
Solver's parameters; random decision rate was dropped.
MiosConfiguration | |
|
Instances
Eq MiosConfiguration Source # | |
Defined in SAT.Mios.Types (==) :: MiosConfiguration -> MiosConfiguration -> Bool # (/=) :: MiosConfiguration -> MiosConfiguration -> Bool # | |
Ord MiosConfiguration Source # | |
Defined in SAT.Mios.Types compare :: MiosConfiguration -> MiosConfiguration -> Ordering # (<) :: MiosConfiguration -> MiosConfiguration -> Bool # (<=) :: MiosConfiguration -> MiosConfiguration -> Bool # (>) :: MiosConfiguration -> MiosConfiguration -> Bool # (>=) :: MiosConfiguration -> MiosConfiguration -> Bool # max :: MiosConfiguration -> MiosConfiguration -> MiosConfiguration # min :: MiosConfiguration -> MiosConfiguration -> MiosConfiguration # | |
Read MiosConfiguration Source # | |
Defined in SAT.Mios.Types | |
Show MiosConfiguration Source # | |
Defined in SAT.Mios.Types showsPrec :: Int -> MiosConfiguration -> ShowS # show :: MiosConfiguration -> String # showList :: [MiosConfiguration] -> ShowS # |
defaultConfiguration :: MiosConfiguration Source #
dafault configuration
- Minisat-1.14 uses
(0.95, 0.999, 0.2 = 20 / 1000)
. - Minisat-2.20 uses
(0.95, 0.999, 0)
. - Gulcose-4.0 uses
(0.8 , 0.999, 0)
. - Mios-1.2 uses
(0.95, 0.999, 0)
.
data MiosProgramOption Source #
configuration swithces
MiosProgramOption | |
|
miosDefaultOption :: MiosProgramOption Source #
default option settings
miosOptions :: [OptDescr (MiosProgramOption -> MiosProgramOption)] Source #
definition of mios option
miosParseOptions :: String -> [String] -> IO MiosProgramOption Source #
builds MiosProgramOption from string given as command option
miosParseOptionsFromArgs :: String -> IO MiosProgramOption Source #
builds MiosProgramOption from a String
toMiosConf :: MiosProgramOption -> MiosConfiguration Source #
converts MiosProgramOption into SIHConfiguration