Numeric.Optimization.MIP.Base

Mixed-Integer Programming Problems with some commmonly used extensions

The MIP Problem type

data Problem c

Problem

Constructors

Problem

Fields

• name :: Maybe Text
• objectiveFunction :: ObjectiveFunction c
• constraints :: [Constraint c]
• sosConstraints :: [SOSConstraint c]
• userCuts :: [Constraint c]
• varType :: Map Var VarType
• varBounds :: Map Var (Bounds c)

Instances

Functor Problem

Defined in Numeric.Optimization.MIP.Base

Methods

fmap :: (a -> b) -> Problem a -> Problem b

(<$) :: a -> Problem b -> Problem a

Variables (Problem c)

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: Problem c -> Set Var

Show c => Show (Problem c)

Defined in Numeric.Optimization.MIP.Base

Methods

showsPrec :: Int -> Problem c -> ShowS

show :: Problem c -> String

showList :: [Problem c] -> ShowS

Default (Problem c)

Defined in Numeric.Optimization.MIP.Base

Methods

def :: Problem c

Eq c => Eq (Problem c)

Defined in Numeric.Optimization.MIP.Base

Methods

(==) :: Problem c -> Problem c -> Bool

(/=) :: Problem c -> Problem c -> Bool

Ord c => Ord (Problem c)

Defined in Numeric.Optimization.MIP.Base

Methods

compare :: Problem c -> Problem c -> Ordering

(<) :: Problem c -> Problem c -> Bool

(<=) :: Problem c -> Problem c -> Bool

(>) :: Problem c -> Problem c -> Bool

(>=) :: Problem c -> Problem c -> Bool

max :: Problem c -> Problem c -> Problem c

min :: Problem c -> Problem c -> Problem c

type Label = Text

label

Variables

type Var = InternedText

variable

toVar :: String -> Var

convert a string into a variable

fromVar :: Var -> String

convert a variable into a string

Variable types

data VarType

Constructors

ContinuousVariable

IntegerVariable

SemiContinuousVariable

SemiIntegerVariable

Instances

Show VarType

Defined in Numeric.Optimization.MIP.Base

Methods

showsPrec :: Int -> VarType -> ShowS

show :: VarType -> String

showList :: [VarType] -> ShowS

Default VarType

Defined in Numeric.Optimization.MIP.Base

Methods

def :: VarType

Eq VarType

Defined in Numeric.Optimization.MIP.Base

Methods

(==) :: VarType -> VarType -> Bool

(/=) :: VarType -> VarType -> Bool

Ord VarType

Defined in Numeric.Optimization.MIP.Base

Methods

compare :: VarType -> VarType -> Ordering

(<) :: VarType -> VarType -> Bool

(<=) :: VarType -> VarType -> Bool

(>) :: VarType -> VarType -> Bool

(>=) :: VarType -> VarType -> Bool

max :: VarType -> VarType -> VarType

min :: VarType -> VarType -> VarType

getVarType :: Problem c -> Var -> VarType

looking up bounds for a variable

Variable bounds

type BoundExpr c = Extended c

type for representing lower/upper bound of variables

data Extended r

Extended r is an extension of r with positive/negative infinity (±∞).

Constructors

NegInf

negative infinity (-∞)

Finite !r

finite value

PosInf

positive infinity (+∞)

Instances

Functor Extended

Defined in Data.ExtendedReal

Methods

fmap :: (a -> b) -> Extended a -> Extended b

(<$) :: a -> Extended b -> Extended a

Data r => Data (Extended r)

Defined in Data.ExtendedReal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Extended r -> c (Extended r)

gunfold :: (forall b r0. Data b => c (b -> r0) -> c r0) -> (forall r1. r1 -> c r1) -> Constr -> c (Extended r)

toConstr :: Extended r -> Constr

dataTypeOf :: Extended r -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Extended r))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Extended r))

gmapT :: (forall b. Data b => b -> b) -> Extended r -> Extended r

gmapQl :: (r0 -> r' -> r0) -> r0 -> (forall d. Data d => d -> r') -> Extended r -> r0

gmapQr :: forall r0 r'. (r' -> r0 -> r0) -> r0 -> (forall d. Data d => d -> r') -> Extended r -> r0

gmapQ :: (forall d. Data d => d -> u) -> Extended r -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Extended r -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Extended r -> m (Extended r)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Extended r -> m (Extended r)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Extended r -> m (Extended r)

Bounded (Extended r)

Defined in Data.ExtendedReal

Methods

minBound :: Extended r

maxBound :: Extended r

(Num r, Ord r) => Num (Extended r)

Note that Extended r is not a field, nor a ring.

PosInf + NegInf is left undefined as usual, but we define 0 * PosInf = 0 * NegInf = 0 by following the convention of probability or measure theory.

Defined in Data.ExtendedReal

Methods

(+) :: Extended r -> Extended r -> Extended r

(-) :: Extended r -> Extended r -> Extended r

(*) :: Extended r -> Extended r -> Extended r

negate :: Extended r -> Extended r

abs :: Extended r -> Extended r

signum :: Extended r -> Extended r

fromInteger :: Integer -> Extended r

Read r => Read (Extended r)

Defined in Data.ExtendedReal

Methods

readsPrec :: Int -> ReadS (Extended r)

readList :: ReadS [Extended r]

readPrec :: ReadPrec (Extended r)

readListPrec :: ReadPrec [Extended r]

(Fractional r, Ord r) => Fractional (Extended r)

Note that Extended r is not a field, nor a ring.

Defined in Data.ExtendedReal

Methods

(/) :: Extended r -> Extended r -> Extended r

recip :: Extended r -> Extended r

fromRational :: Rational -> Extended r

Show r => Show (Extended r)

Defined in Data.ExtendedReal

Methods

showsPrec :: Int -> Extended r -> ShowS

show :: Extended r -> String

showList :: [Extended r] -> ShowS

NFData r => NFData (Extended r)

Defined in Data.ExtendedReal

Methods

rnf :: Extended r -> ()

Eq r => Eq (Extended r)

Defined in Data.ExtendedReal

Methods

(==) :: Extended r -> Extended r -> Bool

(/=) :: Extended r -> Extended r -> Bool

Ord r => Ord (Extended r)

Defined in Data.ExtendedReal

Methods

compare :: Extended r -> Extended r -> Ordering

(<) :: Extended r -> Extended r -> Bool

(<=) :: Extended r -> Extended r -> Bool

(>) :: Extended r -> Extended r -> Bool

(>=) :: Extended r -> Extended r -> Bool

max :: Extended r -> Extended r -> Extended r

min :: Extended r -> Extended r -> Extended r

Hashable r => Hashable (Extended r)

Defined in Data.ExtendedReal

Methods

hashWithSalt :: Int -> Extended r -> Int

hash :: Extended r -> Int

type Bounds c = (BoundExpr c, BoundExpr c)

type for representing lower/upper bound of variables

defaultBounds :: Num c => Bounds c

default bounds

defaultLB :: Num c => BoundExpr c

default lower bound (0)

defaultUB :: BoundExpr c

default upper bound (+∞)

getBounds :: Num c => Problem c -> Var -> Bounds c

looking up bounds for a variable

Variable getters

variables :: Problem c -> Set Var

integerVariables :: Problem c -> Set Var

semiContinuousVariables :: Problem c -> Set Var

semiIntegerVariables :: Problem c -> Set Var

Expressions

newtype Expr c

expressions

Constructors

Expr [Term c]

Instances

Functor Expr

Defined in Numeric.Optimization.MIP.Base

Methods

fmap :: (a -> b) -> Expr a -> Expr b

(<$) :: a -> Expr b -> Expr a

Variables (Expr c)

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: Expr c -> Set Var

Num c => Num (Expr c)

Defined in Numeric.Optimization.MIP.Base

Methods

(+) :: Expr c -> Expr c -> Expr c

(-) :: Expr c -> Expr c -> Expr c

(*) :: Expr c -> Expr c -> Expr c

negate :: Expr c -> Expr c

abs :: Expr c -> Expr c

signum :: Expr c -> Expr c

fromInteger :: Integer -> Expr c

Show c => Show (Expr c)

Defined in Numeric.Optimization.MIP.Base

Methods

showsPrec :: Int -> Expr c -> ShowS

show :: Expr c -> String

showList :: [Expr c] -> ShowS

Eq c => Eq (Expr c)

Defined in Numeric.Optimization.MIP.Base

Methods

(==) :: Expr c -> Expr c -> Bool

(/=) :: Expr c -> Expr c -> Bool

Ord c => Ord (Expr c)

Defined in Numeric.Optimization.MIP.Base

Methods

compare :: Expr c -> Expr c -> Ordering

(<) :: Expr c -> Expr c -> Bool

(<=) :: Expr c -> Expr c -> Bool

(>) :: Expr c -> Expr c -> Bool

(>=) :: Expr c -> Expr c -> Bool

max :: Expr c -> Expr c -> Expr c

min :: Expr c -> Expr c -> Expr c

varExpr :: Num c => Var -> Expr c

constExpr :: (Eq c, Num c) => c -> Expr c

terms :: Expr c -> [Term c]

data Term c

terms

Constructors

Term c [Var]

Instances

Functor Term

Defined in Numeric.Optimization.MIP.Base

Methods

fmap :: (a -> b) -> Term a -> Term b

(<$) :: a -> Term b -> Term a

Variables (Term c)

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: Term c -> Set Var

Show c => Show (Term c)

Defined in Numeric.Optimization.MIP.Base

Methods

showsPrec :: Int -> Term c -> ShowS

show :: Term c -> String

showList :: [Term c] -> ShowS

Eq c => Eq (Term c)

Defined in Numeric.Optimization.MIP.Base

Methods

(==) :: Term c -> Term c -> Bool

(/=) :: Term c -> Term c -> Bool

Ord c => Ord (Term c)

Defined in Numeric.Optimization.MIP.Base

Methods

compare :: Term c -> Term c -> Ordering

(<) :: Term c -> Term c -> Bool

(<=) :: Term c -> Term c -> Bool

(>) :: Term c -> Term c -> Bool

(>=) :: Term c -> Term c -> Bool

max :: Term c -> Term c -> Term c

min :: Term c -> Term c -> Term c

Objective function

data OptDir

The OptDir type represents optimization directions.

Constructors

OptMin

minimization

OptMax

maximization

Instances

Data OptDir

Defined in Data.OptDir

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OptDir -> c OptDir

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OptDir

toConstr :: OptDir -> Constr

dataTypeOf :: OptDir -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OptDir)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OptDir)

gmapT :: (forall b. Data b => b -> b) -> OptDir -> OptDir

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OptDir -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OptDir -> r

gmapQ :: (forall d. Data d => d -> u) -> OptDir -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> OptDir -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OptDir -> m OptDir

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OptDir -> m OptDir

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OptDir -> m OptDir

Bounded OptDir

Defined in Data.OptDir

Methods

minBound :: OptDir

maxBound :: OptDir

Enum OptDir

Defined in Data.OptDir

Methods

succ :: OptDir -> OptDir

pred :: OptDir -> OptDir

toEnum :: Int -> OptDir

fromEnum :: OptDir -> Int

enumFrom :: OptDir -> [OptDir]

enumFromThen :: OptDir -> OptDir -> [OptDir]

enumFromTo :: OptDir -> OptDir -> [OptDir]

enumFromThenTo :: OptDir -> OptDir -> OptDir -> [OptDir]

Generic OptDir

Defined in Data.OptDir

Associated Types

type Rep OptDir :: Type -> Type

Methods

from :: OptDir -> Rep OptDir x

to :: Rep OptDir x -> OptDir

Ix OptDir

Defined in Data.OptDir

Methods

range :: (OptDir, OptDir) -> [OptDir]

index :: (OptDir, OptDir) -> OptDir -> Int

unsafeIndex :: (OptDir, OptDir) -> OptDir -> Int

inRange :: (OptDir, OptDir) -> OptDir -> Bool

rangeSize :: (OptDir, OptDir) -> Int

unsafeRangeSize :: (OptDir, OptDir) -> Int

Read OptDir

Defined in Data.OptDir

Methods

readsPrec :: Int -> ReadS OptDir

readList :: ReadS [OptDir]

readPrec :: ReadPrec OptDir

readListPrec :: ReadPrec [OptDir]

Show OptDir

Defined in Data.OptDir

Methods

showsPrec :: Int -> OptDir -> ShowS

show :: OptDir -> String

showList :: [OptDir] -> ShowS

NFData OptDir

Defined in Data.OptDir

Methods

rnf :: OptDir -> ()

Eq OptDir

Defined in Data.OptDir

Methods

(==) :: OptDir -> OptDir -> Bool

(/=) :: OptDir -> OptDir -> Bool

Ord OptDir

Defined in Data.OptDir

Methods

compare :: OptDir -> OptDir -> Ordering

(<) :: OptDir -> OptDir -> Bool

(<=) :: OptDir -> OptDir -> Bool

(>) :: OptDir -> OptDir -> Bool

(>=) :: OptDir -> OptDir -> Bool

max :: OptDir -> OptDir -> OptDir

min :: OptDir -> OptDir -> OptDir

Hashable OptDir

Defined in Data.OptDir

Methods

hashWithSalt :: Int -> OptDir -> Int

hash :: OptDir -> Int

type Rep OptDir

Defined in Data.OptDir

type Rep OptDir = D1 ('MetaData "OptDir" "Data.OptDir" "OptDir-0.1.0-LFkvPLQhl0H51WP4LQqAyQ" 'False) (C1 ('MetaCons "OptMin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OptMax" 'PrefixI 'False) (U1 :: Type -> Type))

data ObjectiveFunction c

objective function

Constructors

ObjectiveFunction

Fields

• objLabel :: Maybe Label
• objDir :: OptDir
• objExpr :: Expr c

Instances

Functor ObjectiveFunction

Defined in Numeric.Optimization.MIP.Base

Methods

fmap :: (a -> b) -> ObjectiveFunction a -> ObjectiveFunction b

(<$) :: a -> ObjectiveFunction b -> ObjectiveFunction a

Variables (ObjectiveFunction c)

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: ObjectiveFunction c -> Set Var

Show c => Show (ObjectiveFunction c)

Defined in Numeric.Optimization.MIP.Base

Methods

showsPrec :: Int -> ObjectiveFunction c -> ShowS

show :: ObjectiveFunction c -> String

showList :: [ObjectiveFunction c] -> ShowS

Default (ObjectiveFunction c)

Defined in Numeric.Optimization.MIP.Base

Methods

def :: ObjectiveFunction c

Eq c => Eq (ObjectiveFunction c)

Defined in Numeric.Optimization.MIP.Base

Methods

(==) :: ObjectiveFunction c -> ObjectiveFunction c -> Bool

(/=) :: ObjectiveFunction c -> ObjectiveFunction c -> Bool

Ord c => Ord (ObjectiveFunction c)

Defined in Numeric.Optimization.MIP.Base

Methods

compare :: ObjectiveFunction c -> ObjectiveFunction c -> Ordering

(<) :: ObjectiveFunction c -> ObjectiveFunction c -> Bool

(<=) :: ObjectiveFunction c -> ObjectiveFunction c -> Bool

(>) :: ObjectiveFunction c -> ObjectiveFunction c -> Bool

(>=) :: ObjectiveFunction c -> ObjectiveFunction c -> Bool

max :: ObjectiveFunction c -> ObjectiveFunction c -> ObjectiveFunction c

min :: ObjectiveFunction c -> ObjectiveFunction c -> ObjectiveFunction c

Constraints

Linear (or Quadratic or Polynomial) constraints

data Constraint c

constraint

Constructors

Constraint

Fields

• constrLabel :: Maybe Label
• constrIndicator :: Maybe (Var, c)
• constrExpr :: Expr c
• constrLB :: BoundExpr c
• constrUB :: BoundExpr c
• constrIsLazy :: Bool

Instances

Functor Constraint

Defined in Numeric.Optimization.MIP.Base

Methods

fmap :: (a -> b) -> Constraint a -> Constraint b

(<$) :: a -> Constraint b -> Constraint a

Variables (Constraint c)

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: Constraint c -> Set Var

Show c => Show (Constraint c)

Defined in Numeric.Optimization.MIP.Base

Methods

showsPrec :: Int -> Constraint c -> ShowS

show :: Constraint c -> String

showList :: [Constraint c] -> ShowS

Default (Constraint c)

Defined in Numeric.Optimization.MIP.Base

Methods

def :: Constraint c

Eq c => Eq (Constraint c)

Defined in Numeric.Optimization.MIP.Base

Methods

(==) :: Constraint c -> Constraint c -> Bool

(/=) :: Constraint c -> Constraint c -> Bool

Ord c => Ord (Constraint c)

Defined in Numeric.Optimization.MIP.Base

Methods

compare :: Constraint c -> Constraint c -> Ordering

(<) :: Constraint c -> Constraint c -> Bool

(<=) :: Constraint c -> Constraint c -> Bool

(>) :: Constraint c -> Constraint c -> Bool

(>=) :: Constraint c -> Constraint c -> Bool

max :: Constraint c -> Constraint c -> Constraint c

min :: Constraint c -> Constraint c -> Constraint c

(.==.) :: Num c => Expr c -> Expr c -> Constraint c infix 4

Equality constraint.

(.<=.) :: Num c => Expr c -> Expr c -> Constraint c infix 4

Inequality constraint (≤).

(.>=.) :: Num c => Expr c -> Expr c -> Constraint c infix 4

Inequality constraint (≥).

data RelOp

relational operators

Constructors

Le

Ge

Eql

Instances

Enum RelOp

Defined in Numeric.Optimization.MIP.Base

Methods

succ :: RelOp -> RelOp

pred :: RelOp -> RelOp

toEnum :: Int -> RelOp

fromEnum :: RelOp -> Int

enumFrom :: RelOp -> [RelOp]

enumFromThen :: RelOp -> RelOp -> [RelOp]

enumFromTo :: RelOp -> RelOp -> [RelOp]

enumFromThenTo :: RelOp -> RelOp -> RelOp -> [RelOp]

Show RelOp

Defined in Numeric.Optimization.MIP.Base

Methods

showsPrec :: Int -> RelOp -> ShowS

show :: RelOp -> String

showList :: [RelOp] -> ShowS

Eq RelOp

Defined in Numeric.Optimization.MIP.Base

Methods

(==) :: RelOp -> RelOp -> Bool

(/=) :: RelOp -> RelOp -> Bool

Ord RelOp

Defined in Numeric.Optimization.MIP.Base

Methods

compare :: RelOp -> RelOp -> Ordering

(<) :: RelOp -> RelOp -> Bool

(<=) :: RelOp -> RelOp -> Bool

(>) :: RelOp -> RelOp -> Bool

(>=) :: RelOp -> RelOp -> Bool

max :: RelOp -> RelOp -> RelOp

min :: RelOp -> RelOp -> RelOp

SOS constraints

data SOSType

types of SOS (special ordered sets) constraints

Constructors

S1

Type 1 SOS constraint

S2

Type 2 SOS constraint

Instances

Enum SOSType

Defined in Numeric.Optimization.MIP.Base

Methods

succ :: SOSType -> SOSType

pred :: SOSType -> SOSType

toEnum :: Int -> SOSType

fromEnum :: SOSType -> Int

enumFrom :: SOSType -> [SOSType]

enumFromThen :: SOSType -> SOSType -> [SOSType]

enumFromTo :: SOSType -> SOSType -> [SOSType]

enumFromThenTo :: SOSType -> SOSType -> SOSType -> [SOSType]

Read SOSType

Defined in Numeric.Optimization.MIP.Base

Methods

readsPrec :: Int -> ReadS SOSType

readList :: ReadS [SOSType]

readPrec :: ReadPrec SOSType

readListPrec :: ReadPrec [SOSType]

Show SOSType

Defined in Numeric.Optimization.MIP.Base

Methods

showsPrec :: Int -> SOSType -> ShowS

show :: SOSType -> String

showList :: [SOSType] -> ShowS

Eq SOSType

Defined in Numeric.Optimization.MIP.Base

Methods

(==) :: SOSType -> SOSType -> Bool

(/=) :: SOSType -> SOSType -> Bool

Ord SOSType

Defined in Numeric.Optimization.MIP.Base

Methods

compare :: SOSType -> SOSType -> Ordering

(<) :: SOSType -> SOSType -> Bool

(<=) :: SOSType -> SOSType -> Bool

(>) :: SOSType -> SOSType -> Bool

(>=) :: SOSType -> SOSType -> Bool

max :: SOSType -> SOSType -> SOSType

min :: SOSType -> SOSType -> SOSType

data SOSConstraint c

SOS (special ordered sets) constraints

Constructors

SOSConstraint

Fields

• sosLabel :: Maybe Label
• sosType :: SOSType
• sosBody :: [(Var, c)]

Instances

Functor SOSConstraint

Defined in Numeric.Optimization.MIP.Base

Methods

fmap :: (a -> b) -> SOSConstraint a -> SOSConstraint b

(<$) :: a -> SOSConstraint b -> SOSConstraint a

Variables (SOSConstraint c)

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: SOSConstraint c -> Set Var

Show c => Show (SOSConstraint c)

Defined in Numeric.Optimization.MIP.Base

Methods

showsPrec :: Int -> SOSConstraint c -> ShowS

show :: SOSConstraint c -> String

showList :: [SOSConstraint c] -> ShowS

Eq c => Eq (SOSConstraint c)

Defined in Numeric.Optimization.MIP.Base

Methods

(==) :: SOSConstraint c -> SOSConstraint c -> Bool

(/=) :: SOSConstraint c -> SOSConstraint c -> Bool

Ord c => Ord (SOSConstraint c)

Defined in Numeric.Optimization.MIP.Base

Methods

compare :: SOSConstraint c -> SOSConstraint c -> Ordering

(<) :: SOSConstraint c -> SOSConstraint c -> Bool

(<=) :: SOSConstraint c -> SOSConstraint c -> Bool

(>) :: SOSConstraint c -> SOSConstraint c -> Bool

(>=) :: SOSConstraint c -> SOSConstraint c -> Bool

max :: SOSConstraint c -> SOSConstraint c -> SOSConstraint c

min :: SOSConstraint c -> SOSConstraint c -> SOSConstraint c

Solutions

data Solution r

Type for representing a solution of MIP problem.

Constructors

Solution

Fields

• solStatus :: Status
• solObjectiveValue :: Maybe r
• solVariables :: Map Var r

Instances

Functor Solution

Defined in Numeric.Optimization.MIP.Base

Methods

fmap :: (a -> b) -> Solution a -> Solution b

(<$) :: a -> Solution b -> Solution a

Show r => Show (Solution r)

Defined in Numeric.Optimization.MIP.Base

Methods

showsPrec :: Int -> Solution r -> ShowS

show :: Solution r -> String

showList :: [Solution r] -> ShowS

Default (Solution r)

Defined in Numeric.Optimization.MIP.Base

Methods

def :: Solution r

Eq r => Eq (Solution r)

Defined in Numeric.Optimization.MIP.Base

Methods

(==) :: Solution r -> Solution r -> Bool

(/=) :: Solution r -> Solution r -> Bool

Ord r => Ord (Solution r)

Defined in Numeric.Optimization.MIP.Base

Methods

compare :: Solution r -> Solution r -> Ordering

(<) :: Solution r -> Solution r -> Bool

(<=) :: Solution r -> Solution r -> Bool

(>) :: Solution r -> Solution r -> Bool

(>=) :: Solution r -> Solution r -> Bool

max :: Solution r -> Solution r -> Solution r

min :: Solution r -> Solution r -> Solution r

data Status

MIP status with the following partial order:

Constructors

StatusUnknown

StatusFeasible

StatusOptimal

StatusInfeasibleOrUnbounded

StatusInfeasible

StatusUnbounded

Instances

Bounded Status

Defined in Numeric.Optimization.MIP.Base

Methods

minBound :: Status

maxBound :: Status

Enum Status

Defined in Numeric.Optimization.MIP.Base

Methods

succ :: Status -> Status

pred :: Status -> Status

toEnum :: Int -> Status

fromEnum :: Status -> Int

enumFrom :: Status -> [Status]

enumFromThen :: Status -> Status -> [Status]

enumFromTo :: Status -> Status -> [Status]

enumFromThenTo :: Status -> Status -> Status -> [Status]

Show Status

Defined in Numeric.Optimization.MIP.Base

Methods

showsPrec :: Int -> Status -> ShowS

show :: Status -> String

showList :: [Status] -> ShowS

Eq Status

Defined in Numeric.Optimization.MIP.Base

Methods

(==) :: Status -> Status -> Bool

(/=) :: Status -> Status -> Bool

Ord Status

Defined in Numeric.Optimization.MIP.Base

Methods

compare :: Status -> Status -> Ordering

(<) :: Status -> Status -> Bool

(<=) :: Status -> Status -> Bool

(>) :: Status -> Status -> Bool

(>=) :: Status -> Status -> Bool

max :: Status -> Status -> Status

min :: Status -> Status -> Status

PartialOrd Status

Defined in Numeric.Optimization.MIP.Base

Methods

leq :: Status -> Status -> Bool

comparable :: Status -> Status -> Bool

meetStatus :: Status -> Status -> Status

meet (greatest lower bound) operator of the partial order of Status type.

If the version of lattices is <2, then MeetSemiLattice instance can also be used.

File I/O options

data FileOptions

Constructors

FileOptions

Fields

• optFileEncoding :: Maybe TextEncoding

Instances

Show FileOptions

Defined in Numeric.Optimization.MIP.Base

Methods

showsPrec :: Int -> FileOptions -> ShowS

show :: FileOptions -> String

showList :: [FileOptions] -> ShowS

Default FileOptions

Defined in Numeric.Optimization.MIP.Base

Methods

def :: FileOptions

Utilities

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

Default FileOptions

Defined in Numeric.Optimization.MIP.Base

Methods

def :: FileOptions

Default VarType

Defined in Numeric.Optimization.MIP.Base

Methods

def :: VarType

Default SolveOptions

Defined in Numeric.Optimization.MIP.Solver.Base

Methods

def :: SolveOptions

Default CBC

Defined in Numeric.Optimization.MIP.Solver.CBC

Methods

def :: CBC

Default CPLEX

Defined in Numeric.Optimization.MIP.Solver.CPLEX

Methods

def :: CPLEX

Default Glpsol

Defined in Numeric.Optimization.MIP.Solver.Glpsol

Methods

def :: Glpsol

Default GurobiCl

Defined in Numeric.Optimization.MIP.Solver.GurobiCl

Methods

def :: GurobiCl

Default LPSolve

Defined in Numeric.Optimization.MIP.Solver.LPSolve

Methods

def :: LPSolve

Default SCIP

Defined in Numeric.Optimization.MIP.Solver.SCIP

Methods

def :: SCIP

Default All

Defined in Data.Default.Class

Methods

def :: All

Default Any

Defined in Data.Default.Class

Methods

def :: Any

Default CClock

Defined in Data.Default.Class

Methods

def :: CClock

Default CDouble

Defined in Data.Default.Class

Methods

def :: CDouble

Default CFloat

Defined in Data.Default.Class

Methods

def :: CFloat

Default CInt

Defined in Data.Default.Class

Methods

def :: CInt

Default CIntMax

Defined in Data.Default.Class

Methods

def :: CIntMax

Default CIntPtr

Defined in Data.Default.Class

Methods

def :: CIntPtr

Default CLLong

Defined in Data.Default.Class

Methods

def :: CLLong

Default CLong

Defined in Data.Default.Class

Methods

def :: CLong

Default CPtrdiff

Defined in Data.Default.Class

Methods

def :: CPtrdiff

Default CSUSeconds

Defined in Data.Default.Class

Methods

def :: CSUSeconds

Default CShort

Defined in Data.Default.Class

Methods

def :: CShort

Default CSigAtomic

Defined in Data.Default.Class

Methods

def :: CSigAtomic

Default CSize

Defined in Data.Default.Class

Methods

def :: CSize

Default CTime

Defined in Data.Default.Class

Methods

def :: CTime

Default CUInt

Defined in Data.Default.Class

Methods

def :: CUInt

Default CUIntMax

Defined in Data.Default.Class

Methods

def :: CUIntMax

Default CUIntPtr

Defined in Data.Default.Class

Methods

def :: CUIntPtr

Default CULLong

Defined in Data.Default.Class

Methods

def :: CULLong

Default CULong

Defined in Data.Default.Class

Methods

def :: CULong

Default CUSeconds

Defined in Data.Default.Class

Methods

def :: CUSeconds

Default CUShort

Defined in Data.Default.Class

Methods

def :: CUShort

Default Int16

Defined in Data.Default.Class

Methods

def :: Int16

Default Int32

Defined in Data.Default.Class

Methods

def :: Int32

Default Int64

Defined in Data.Default.Class

Methods

def :: Int64

Default Int8

Defined in Data.Default.Class

Methods

def :: Int8

Default Word16

Defined in Data.Default.Class

Methods

def :: Word16

Default Word32

Defined in Data.Default.Class

Methods

def :: Word32

Default Word64

Defined in Data.Default.Class

Methods

def :: Word64

Default Word8

Defined in Data.Default.Class

Methods

def :: Word8

Default Ordering

Defined in Data.Default.Class

Methods

def :: Ordering

Default ParseSettings

Defined in Text.XML.Stream.Parse

Methods

def :: ParseSettings

Default Integer

Defined in Data.Default.Class

Methods

def :: Integer

Default ()

Defined in Data.Default.Class

Methods

def :: ()

Default Double

Defined in Data.Default.Class

Methods

def :: Double

Default Float

Defined in Data.Default.Class

Methods

def :: Float

Default Int

Defined in Data.Default.Class

Methods

def :: Int

Default Word

Defined in Data.Default.Class

Methods

def :: Word

Default (Constraint c)

Defined in Numeric.Optimization.MIP.Base

Methods

def :: Constraint c

Default (ObjectiveFunction c)

Defined in Numeric.Optimization.MIP.Base

Methods

def :: ObjectiveFunction c

Default (Problem c)

Defined in Numeric.Optimization.MIP.Base

Methods

def :: Problem c

Default (Solution r)

Defined in Numeric.Optimization.MIP.Base

Methods

def :: Solution r

(Default a, RealFloat a) => Default (Complex a)

Defined in Data.Default.Class

Methods

def :: Complex a

Default (First a)

Defined in Data.Default.Class

Methods

def :: First a

Default (Last a)

Defined in Data.Default.Class

Methods

def :: Last a

Default a => Default (Dual a)

Defined in Data.Default.Class

Methods

def :: Dual a

Default (Endo a)

Defined in Data.Default.Class

Methods

def :: Endo a

Num a => Default (Product a)

Defined in Data.Default.Class

Methods

def :: Product a

Num a => Default (Sum a)

Defined in Data.Default.Class

Methods

def :: Sum a

Integral a => Default (Ratio a)

Defined in Data.Default.Class

Methods

def :: Ratio a

Default a => Default (IO a)

Defined in Data.Default.Class

Methods

def :: IO a

Default (Maybe a)

Defined in Data.Default.Class

Methods

def :: Maybe a

Default [a]

Defined in Data.Default.Class

Methods

def :: [a]

(Default a, Default b) => Default (a, b)

Defined in Data.Default.Class

Methods

def :: (a, b)

Default r => Default (e -> r)

Defined in Data.Default.Class

Methods

def :: e -> r

(Default a, Default b, Default c) => Default (a, b, c)

Defined in Data.Default.Class

Methods

def :: (a, b, c)

(Default a, Default b, Default c, Default d) => Default (a, b, c, d)

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)

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)

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)

Defined in Data.Default.Class

Methods

def :: (a, b, c, d, e, f, g)

class Variables a where

Methods

vars :: a -> Set Var

Instances

Variables (Constraint c)

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: Constraint c -> Set Var

Variables (Expr c)

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: Expr c -> Set Var

Variables (ObjectiveFunction c)

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: ObjectiveFunction c -> Set Var

Variables (Problem c)

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: Problem c -> Set Var

Variables (SOSConstraint c)

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: SOSConstraint c -> Set Var

Variables (Term c)

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: Term c -> Set Var

Variables a => Variables [a]

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: [a] -> Set Var

(Variables a, Variables b) => Variables (Either a b)

Defined in Numeric.Optimization.MIP.Base

Methods

vars :: Either a b -> Set Var

intersectBounds :: Ord c => Bounds c -> Bounds c -> Bounds c