Safe Haskell	Safe-Inferred
Language	Haskell2010

Math.Programming.Glpk

Contents

Controlling GLPK behavior

Description

A GLPK backend to the Programming library.

This package allows both linear and mixed-integer programs to be solved.

Synopsis

type Glpk = GlpkT IO
type GlpkVariable = GlpkPtr Column
type GlpkConstraint = GlpkPtr Row
data GlpkObjective
runGlpk :: Glpk a -> IO a
writeFormulation :: MonadGlpk m => FilePath -> m ()
data GlpkT m a
class (MonadLP GlpkVariable GlpkConstraint GlpkObjective m, MonadIP GlpkVariable GlpkConstraint GlpkObjective m) => MonadGlpk m
data GlpkEnv
data GlpkException

Documentation

type Glpk = GlpkT IO Source #

type GlpkVariable = GlpkPtr Column Source #

A reference to a GLPK variable.

type GlpkConstraint = GlpkPtr Row Source #

A reference to a GLPK constraint.

data GlpkObjective Source #

A placeholder for an objective.

GLPK supports only single-objective problems, and so no indices need to be stored.

Instances

Instances details

MonadIP GlpkVariable GlpkConstraint GlpkObjective Glpk Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods getVariableDomain :: GlpkVariable -> Glpk Domain setVariableDomain :: GlpkVariable -> Domain -> Glpk () getRelativeMIPGap :: Glpk Double setRelativeMIPGap :: Double -> Glpk () optimizeIP :: Glpk SolutionStatus
MonadLP GlpkVariable GlpkConstraint GlpkObjective Glpk Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods addVariable :: Glpk GlpkVariable deleteVariable :: GlpkVariable -> Glpk () getVariableName :: GlpkVariable -> Glpk Text setVariableName :: GlpkVariable -> Text -> Glpk () getVariableBounds :: GlpkVariable -> Glpk Bounds setVariableBounds :: GlpkVariable -> Bounds -> Glpk () getVariableValue :: GlpkVariable -> Glpk Double addConstraint :: Inequality (Expr GlpkVariable) -> Glpk GlpkConstraint deleteConstraint :: GlpkConstraint -> Glpk () getConstraintName :: GlpkConstraint -> Glpk Text setConstraintName :: GlpkConstraint -> Text -> Glpk () getConstraintValue :: GlpkConstraint -> Glpk Double addObjective :: Expr GlpkVariable -> Glpk GlpkObjective deleteObjective :: GlpkObjective -> Glpk () getObjectiveName :: GlpkObjective -> Glpk Text setObjectiveName :: GlpkObjective -> Text -> Glpk () getObjectiveSense :: GlpkObjective -> Glpk Sense setObjectiveSense :: GlpkObjective -> Sense -> Glpk () getObjectiveValue :: GlpkObjective -> Glpk Double getTimeout :: Glpk Double setTimeout :: Double -> Glpk () optimizeLP :: Glpk SolutionStatus

runGlpk :: Glpk a -> IO a Source #

writeFormulation :: MonadGlpk m => FilePath -> m () Source #

data GlpkT m a Source #

An environment to solve math programs using GLPK.

Instances

Instances details

MonadGlpk Glpk Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods writeFormulation :: FilePath -> Glpk () Source #
MonadTrans GlpkT Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods lift :: Monad m => m a -> GlpkT m a #
MonadIP GlpkVariable GlpkConstraint GlpkObjective Glpk Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods getVariableDomain :: GlpkVariable -> Glpk Domain setVariableDomain :: GlpkVariable -> Domain -> Glpk () getRelativeMIPGap :: Glpk Double setRelativeMIPGap :: Double -> Glpk () optimizeIP :: Glpk SolutionStatus
MonadLP GlpkVariable GlpkConstraint GlpkObjective Glpk Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods addVariable :: Glpk GlpkVariable deleteVariable :: GlpkVariable -> Glpk () getVariableName :: GlpkVariable -> Glpk Text setVariableName :: GlpkVariable -> Text -> Glpk () getVariableBounds :: GlpkVariable -> Glpk Bounds setVariableBounds :: GlpkVariable -> Bounds -> Glpk () getVariableValue :: GlpkVariable -> Glpk Double addConstraint :: Inequality (Expr GlpkVariable) -> Glpk GlpkConstraint deleteConstraint :: GlpkConstraint -> Glpk () getConstraintName :: GlpkConstraint -> Glpk Text setConstraintName :: GlpkConstraint -> Text -> Glpk () getConstraintValue :: GlpkConstraint -> Glpk Double addObjective :: Expr GlpkVariable -> Glpk GlpkObjective deleteObjective :: GlpkObjective -> Glpk () getObjectiveName :: GlpkObjective -> Glpk Text setObjectiveName :: GlpkObjective -> Text -> Glpk () getObjectiveSense :: GlpkObjective -> Glpk Sense setObjectiveSense :: GlpkObjective -> Sense -> Glpk () getObjectiveValue :: GlpkObjective -> Glpk Double getTimeout :: Glpk Double setTimeout :: Double -> Glpk () optimizeLP :: Glpk SolutionStatus
MonadIO m => MonadIO (GlpkT m) Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods liftIO :: IO a -> GlpkT m a #
Applicative m => Applicative (GlpkT m) Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods pure :: a -> GlpkT m a # (<>) :: GlpkT m (a -> b) -> GlpkT m a -> GlpkT m b # liftA2 :: (a -> b -> c) -> GlpkT m a -> GlpkT m b -> GlpkT m c # (>) :: GlpkT m a -> GlpkT m b -> GlpkT m b # (<*) :: GlpkT m a -> GlpkT m b -> GlpkT m a #
Functor m => Functor (GlpkT m) Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods fmap :: (a -> b) -> GlpkT m a -> GlpkT m b # (<$) :: a -> GlpkT m b -> GlpkT m a #
Monad m => Monad (GlpkT m) Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods (>>=) :: GlpkT m a -> (a -> GlpkT m b) -> GlpkT m b # (>>) :: GlpkT m a -> GlpkT m b -> GlpkT m b # return :: a -> GlpkT m a #
MonadUnliftIO m => MonadUnliftIO (GlpkT m) Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods withRunInIO :: ((forall a. GlpkT m a -> IO a) -> IO b) -> GlpkT m b #

class (MonadLP GlpkVariable GlpkConstraint GlpkObjective m, MonadIP GlpkVariable GlpkConstraint GlpkObjective m) => MonadGlpk m Source #

Minimal complete definition

writeFormulation

Instances

Instances details

MonadGlpk Glpk Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods writeFormulation :: FilePath -> Glpk () Source #
MonadGlpk m => MonadGlpk (ReaderT r m) Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods writeFormulation :: FilePath -> ReaderT r m () Source #
MonadGlpk m => MonadGlpk (StateT s m) Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods writeFormulation :: FilePath -> StateT s m () Source #

Controlling GLPK behavior

See the Header package for Haskell wrappers for all low-level GLPK operations.

data GlpkEnv Source #

An interface to the low-level GLPK API.

High-level solver settings can be modified by altering the SimplexMethodControlParameters and MIPControlParameters values for LP and IP solves, respectively.

data GlpkException Source #

An error that GLPK can encounter.

Instances

Instances details

Exception GlpkException Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods toException :: GlpkException -> SomeException # fromException :: SomeException -> Maybe GlpkException # displayException :: GlpkException -> String #
Show GlpkException Source #
Instance details Defined in Math.Programming.Glpk.Internal Methods showsPrec :: Int -> GlpkException -> ShowS # show :: GlpkException -> String # showList :: [GlpkException] -> ShowS #