Copyright	(c) Masahiro Sakai 2017
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	provisional
Portability	non-portable
Safe Haskell	None
Language	Haskell2010
Extensions	ConstrainedClassMethods MultiParamTypeClasses FunctionalDependencies

Numeric.Optimization.MIP.Solver.Base

Description

Synopsis

data SolveOptions = SolveOptions {
- solveTimeLimit :: Maybe Double
- solveLogger :: String -> IO ()
- solveErrorLogger :: String -> IO ()
}
class Default a where
- def :: a
class Monad m => IsSolver s m | s -> m where
- solve :: s -> SolveOptions -> Problem Scientific -> m (Solution Scientific)

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

Instances details

Default SolveOptions Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.Base Methods def :: SolveOptions #

class Default a where #

A class for types with a default value.

Minimal complete definition

Nothing

Methods

def :: a #

The default value for this type.

Instances

Instances details

Default Double
Instance details Defined in Data.Default.Class Methods def :: Double #
Default Float
Instance details Defined in Data.Default.Class Methods def :: Float #
Default Int
Instance details Defined in Data.Default.Class Methods def :: Int #
Default Int8
Instance details Defined in Data.Default.Class Methods def :: Int8 #
Default Int16
Instance details Defined in Data.Default.Class Methods def :: Int16 #
Default Int32
Instance details Defined in Data.Default.Class Methods def :: Int32 #
Default Int64
Instance details Defined in Data.Default.Class Methods def :: Int64 #
Default Integer
Instance details Defined in Data.Default.Class Methods def :: Integer #
Default Ordering
Instance details Defined in Data.Default.Class Methods def :: Ordering #
Default Word
Instance details Defined in Data.Default.Class Methods def :: Word #
Default Word8
Instance details Defined in Data.Default.Class Methods def :: Word8 #
Default Word16
Instance details Defined in Data.Default.Class Methods def :: Word16 #
Default Word32
Instance details Defined in Data.Default.Class Methods def :: Word32 #
Default Word64
Instance details Defined in Data.Default.Class Methods def :: Word64 #
Default ()
Instance details Defined in Data.Default.Class Methods def :: () #
Default All
Instance details Defined in Data.Default.Class Methods def :: All #
Default Any
Instance details Defined in Data.Default.Class Methods def :: Any #
Default CShort
Instance details Defined in Data.Default.Class Methods def :: CShort #
Default CUShort
Instance details Defined in Data.Default.Class Methods def :: CUShort #
Default CInt
Instance details Defined in Data.Default.Class Methods def :: CInt #
Default CUInt
Instance details Defined in Data.Default.Class Methods def :: CUInt #
Default CLong
Instance details Defined in Data.Default.Class Methods def :: CLong #
Default CULong
Instance details Defined in Data.Default.Class Methods def :: CULong #
Default CLLong
Instance details Defined in Data.Default.Class Methods def :: CLLong #
Default CULLong
Instance details Defined in Data.Default.Class Methods def :: CULLong #
Default CFloat
Instance details Defined in Data.Default.Class Methods def :: CFloat #
Default CDouble
Instance details Defined in Data.Default.Class Methods def :: CDouble #
Default CPtrdiff
Instance details Defined in Data.Default.Class Methods def :: CPtrdiff #
Default CSize
Instance details Defined in Data.Default.Class Methods def :: CSize #
Default CSigAtomic
Instance details Defined in Data.Default.Class Methods def :: CSigAtomic #
Default CClock
Instance details Defined in Data.Default.Class Methods def :: CClock #
Default CTime
Instance details Defined in Data.Default.Class Methods def :: CTime #
Default CUSeconds
Instance details Defined in Data.Default.Class Methods def :: CUSeconds #
Default CSUSeconds
Instance details Defined in Data.Default.Class Methods def :: CSUSeconds #
Default CIntPtr
Instance details Defined in Data.Default.Class Methods def :: CIntPtr #
Default CUIntPtr
Instance details Defined in Data.Default.Class Methods def :: CUIntPtr #
Default CIntMax
Instance details Defined in Data.Default.Class Methods def :: CIntMax #
Default CUIntMax
Instance details Defined in Data.Default.Class Methods def :: CUIntMax #
Default ParseSettings
Instance details Defined in Text.XML.Stream.Parse Methods def :: ParseSettings #
Default FileOptions Source #
Instance details Defined in Numeric.Optimization.MIP.Base Methods def :: FileOptions #
Default VarType Source #
Instance details Defined in Numeric.Optimization.MIP.Base Methods def :: VarType #
Default SolveOptions Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.Base Methods def :: SolveOptions #
Default CBC Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.CBC Methods def :: CBC #
Default CPLEX Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.CPLEX Methods def :: CPLEX #
Default Glpsol Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.Glpsol Methods def :: Glpsol #
Default GurobiCl Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.GurobiCl Methods def :: GurobiCl #
Default LPSolve Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.LPSolve Methods def :: LPSolve #
Default SCIP Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.SCIP Methods def :: SCIP #
Default [a]
Instance details Defined in Data.Default.Class Methods def :: [a] #
Default (Maybe a)
Instance details Defined in Data.Default.Class Methods def :: Maybe a #
Integral a => Default (Ratio a)
Instance details Defined in Data.Default.Class Methods def :: Ratio a #
Default a => Default (IO a)
Instance details Defined in Data.Default.Class Methods def :: IO a #
(Default a, RealFloat a) => Default (Complex a)
Instance details Defined in Data.Default.Class Methods def :: Complex a #
Default (First a)
Instance details Defined in Data.Default.Class Methods def :: First a #
Default (Last a)
Instance details Defined in Data.Default.Class Methods def :: Last a #
Default a => Default (Dual a)
Instance details Defined in Data.Default.Class Methods def :: Dual a #
Default (Endo a)
Instance details Defined in Data.Default.Class Methods def :: Endo a #
Num a => Default (Sum a)
Instance details Defined in Data.Default.Class Methods def :: Sum a #
Num a => Default (Product a)
Instance details Defined in Data.Default.Class Methods def :: Product a #
Default (Solution r) Source #
Instance details Defined in Numeric.Optimization.MIP.Base Methods def :: Solution r #
Default (Constraint c) Source #
Instance details Defined in Numeric.Optimization.MIP.Base Methods def :: Constraint c #
Default (ObjectiveFunction c) Source #
Instance details Defined in Numeric.Optimization.MIP.Base Methods def :: ObjectiveFunction c #
Default (Problem c) Source #
Instance details Defined in Numeric.Optimization.MIP.Base Methods def :: Problem c #
Default r => Default (e -> r)
Instance details Defined in Data.Default.Class Methods def :: e -> r #
(Default a, Default b) => Default (a, b)
Instance details Defined in Data.Default.Class Methods def :: (a, b) #
(Default a, Default b, Default c) => Default (a, b, c)
Instance details Defined in Data.Default.Class Methods def :: (a, b, c) #
(Default a, Default b, Default c, Default d) => Default (a, b, c, d)
Instance details Defined in Data.Default.Class Methods def :: (a, b, c, d) #
(Default a, Default b, Default c, Default d, Default e) => Default (a, b, c, d, e)
Instance details Defined in Data.Default.Class 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)
Instance details Defined in Data.Default.Class 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)
Instance details Defined in Data.Default.Class Methods def :: (a, b, c, d, e, f, g) #

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

Methods

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

Instances

Instances details

IsSolver CBC IO Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.CBC Methods solve :: CBC -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #
IsSolver CPLEX IO Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.CPLEX Methods solve :: CPLEX -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #
IsSolver Glpsol IO Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.Glpsol Methods solve :: Glpsol -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #
IsSolver GurobiCl IO Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.GurobiCl Methods solve :: GurobiCl -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #
IsSolver LPSolve IO Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.LPSolve Methods solve :: LPSolve -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #
IsSolver SCIP IO Source #
Instance details Defined in Numeric.Optimization.MIP.Solver.SCIP Methods solve :: SCIP -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #