Safe Haskell	None
Language	Haskell2010

ToySolver.Data.MIP.Solver.Base

Synopsis

Documentation

data SolveOptions Source #

Constructors

SolveOptions
Fields solveTimeLimit :: Maybe Double time limit in seconds solveLogger :: String -> IO () invoked when a solver output a line solveErrorLogger :: String -> IO () invoked when a solver output a line to stderr

Instances

Default SolveOptions Source #
Methods def :: SolveOptions #

class Default a where #

A class for types with a default value.

Methods

def :: a #

The default value for this type.

Instances

Default Double
Methods def :: Double #
Default Float
Methods def :: Float #
Default Int
Methods def :: Int #
Default Int8
Methods def :: Int8 #
Default Int16
Methods def :: Int16 #
Default Int32
Methods def :: Int32 #
Default Int64
Methods def :: Int64 #
Default Integer
Methods def :: Integer #
Default Ordering
Methods def :: Ordering #
Default Word
Methods def :: Word #
Default Word8
Methods def :: Word8 #
Default Word16
Methods def :: Word16 #
Default Word32
Methods def :: Word32 #
Default Word64
Methods def :: Word64 #
Default ()
Methods def :: () #
Default CShort
Methods def :: CShort #
Default CUShort
Methods def :: CUShort #
Default CInt
Methods def :: CInt #
Default CUInt
Methods def :: CUInt #
Default CLong
Methods def :: CLong #
Default CULong
Methods def :: CULong #
Default CLLong
Methods def :: CLLong #
Default CULLong
Methods def :: CULLong #
Default CFloat
Methods def :: CFloat #
Default CDouble
Methods def :: CDouble #
Default CPtrdiff
Methods def :: CPtrdiff #
Default CSize
Methods def :: CSize #
Default CSigAtomic
Methods def :: CSigAtomic #
Default CClock
Methods def :: CClock #
Default CTime
Methods def :: CTime #
Default CUSeconds
Methods def :: CUSeconds #
Default CSUSeconds
Methods def :: CSUSeconds #
Default CIntPtr
Methods def :: CIntPtr #
Default CUIntPtr
Methods def :: CUIntPtr #
Default CIntMax
Methods def :: CIntMax #
Default CUIntMax
Methods def :: CUIntMax #
Default All
Methods def :: All #
Default Any
Methods def :: Any #
Default ParseSettings
Methods def :: ParseSettings #
Default PBHandlerType #
Methods def :: PBHandlerType #
Default BranchingStrategy #
Methods def :: BranchingStrategy #
Default LearningStrategy #
Methods def :: LearningStrategy #
Default RestartStrategy #
Methods def :: RestartStrategy #
Default Config #
Methods def :: Config #
Default Options #
Methods def :: Options #
Default FileOptions #
Methods def :: FileOptions #
Default VarType #
Methods def :: VarType #
Default SolveOptions #
Methods def :: SolveOptions #
Default LPSolve #
Methods def :: LPSolve #
Default CBC #
Methods def :: CBC #
Default CPLEX #
Methods def :: CPLEX #
Default Glpsol #
Methods def :: Glpsol #
Default GurobiCl #
Methods def :: GurobiCl #
Default SCIP #
Methods def :: SCIP #
Default Options #
Methods def :: Options #
Default Strategy #
Methods def :: Strategy #
Default Options #
Methods def :: Options #
Default Options #
Methods def :: Options #
Default Options #
Methods def :: Options #
Default Method #
Methods def :: Method #
Default Options #
Methods def :: Options #
Default Method #
Methods def :: Method #
Default Options #
Methods def :: Options #
Default Options #
Methods def :: Options #
Default Options #
Methods def :: Options #
Default [a]
Methods def :: [a] #
Default (Maybe a)
Methods def :: Maybe a #
Integral a => Default (Ratio a)
Methods def :: Ratio a #
Default a => Default (IO a)
Methods def :: IO a #
(Default a, RealFloat a) => Default (Complex a)
Methods def :: Complex a #
Default a => Default (Dual a)
Methods def :: Dual a #
Default (Endo a)
Methods def :: Endo a #
Num a => Default (Sum a)
Methods def :: Sum a #
Num a => Default (Product a)
Methods def :: Product a #
Default (First a)
Methods def :: First a #
Default (Last a)
Methods def :: Last a #
Default (Solution r) #
Methods def :: Solution r #
Default (Constraint c) #
Methods def :: Constraint c #
Default (ObjectiveFunction c) #
Methods def :: ObjectiveFunction c #
Default (Problem c) #
Methods def :: Problem c #
Monad m => Default (Options m) #
Methods def :: Options m #
Default r => Default (e -> r)
Methods def :: e -> r #
(Default a, Default b) => Default (a, b)
Methods def :: (a, b) #
(PrettyCoeff k, PrettyVar v, Ord v) => Default (PrintOptions k v) #
Methods def :: PrintOptions k v #
(Default a, Default b, Default c) => Default (a, b, c)
Methods def :: (a, b, c) #
(Default a, Default b, Default c, Default d) => Default (a, b, c, d)
Methods def :: (a, b, c, d) #
(Default a, Default b, Default c, Default d, Default e) => Default (a, b, c, d, e)
Methods def :: (a, b, c, d, e) #
(Default a, Default b, Default c, Default d, Default e, Default f) => Default (a, b, c, d, e, f)
Methods def :: (a, b, c, d, e, f) #
(Default a, Default b, Default c, Default d, Default e, Default f, Default g) => Default (a, b, c, d, e, f, g)
Methods def :: (a, b, c, d, e, f, g) #

class Monad m => IsSolver s m | s -> m where Source #

Minimal complete definition

solve

Methods

solve :: s -> SolveOptions -> Problem Scientific -> m (Solution Scientific) Source #

Instances

IsSolver LPSolve IO Source #
Methods solve :: LPSolve -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #
IsSolver CBC IO Source #
Methods solve :: CBC -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #
IsSolver CPLEX IO Source #
Methods solve :: CPLEX -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #
IsSolver Glpsol IO Source #
Methods solve :: Glpsol -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #
IsSolver GurobiCl IO Source #
Methods solve :: GurobiCl -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #
IsSolver SCIP IO Source #
Methods solve :: SCIP -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #