Copyright	(c) Masahiro Sakai 2011-2014
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	provisional
Portability	portable
Safe Haskell	None
Language	Haskell2010

ToySolver.Data.MIP.Base

Contents

Utilities

Description

Mixed-Integer Programming Problems with some commmonly used extensions

Synopsis

Documentation

data Problem Source

Problem

Constructors

Problem
Fields dir :: OptDir objectiveFunction :: ObjectiveFunction constraints :: [Constraint] sosConstraints :: [SOSConstraint] userCuts :: [Constraint] varInfo :: Map Var VarInfo

Instances

Eq Problem
Ord Problem
Show Problem
Default Problem
Variables Problem

type Expr = [Term] Source

expressions

data Term Source

terms

Constructors

Term Rational [Var]

Instances

Eq Term
Ord Term
Show Term
Variables Term

data OptDir :: *

The OptDir type represents optimization directions.

Constructors

OptMin	minimization
OptMax	maximization

Instances

Bounded OptDir
Enum OptDir
Eq OptDir
Data OptDir
Ord OptDir
Read OptDir
Show OptDir
Ix OptDir
Hashable OptDir
Typeable * OptDir

type ObjectiveFunction = (Maybe Label, Expr) Source

objective function

data Constraint Source

constraint

Constructors

Constraint
Fields constrLabel :: Maybe Label constrIndicator :: Maybe (Var, Rational) constrBody :: (Expr, RelOp, Rational) constrIsLazy :: Bool

Instances

Eq Constraint
Ord Constraint
Show Constraint
Default Constraint
Variables Constraint

type Bounds = (BoundExpr, BoundExpr) Source

type for representing lower/upper bound of variables

type Label = String Source

label

type Var = InternedString Source

variable

data VarType Source

Constructors

ContinuousVariable
IntegerVariable
SemiContinuousVariable
SemiIntegerVariable

Instances

Eq VarType
Ord VarType
Show VarType
Default VarType

data VarInfo Source

Constructors

VarInfo
Fields varType :: VarType varBounds :: Bounds

Instances

Eq VarInfo
Ord VarInfo
Show VarInfo
Default VarInfo

type BoundExpr = Extended Rational Source

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
Bounded (Extended r)
Eq r => Eq (Extended r)
(Fractional r, Ord r) => Fractional (Extended r)	Note that `Extended r` is not a field, nor a ring.
Data r => Data (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.
Ord r => Ord (Extended r)
Read r => Read (Extended r)
Show r => Show (Extended r)
NFData r => NFData (Extended r)
Hashable r => Hashable (Extended r)
Typeable (* -> *) Extended

data RelOp Source

relational operators

Constructors

Le
Ge
Eql

Instances

Enum RelOp
Eq RelOp
Ord RelOp
Show RelOp

data SOSType Source

types of SOS (special ordered sets) constraints

Constructors

S1	Type 1 SOS constraint
S2	Type 2 SOS constraint

Instances

Enum SOSType
Eq SOSType
Ord SOSType
Read SOSType
Show SOSType

data SOSConstraint Source

SOS (special ordered sets) constraints

Constructors

SOSConstraint
Fields sosLabel :: Maybe Label sosType :: SOSType sosBody :: [(Var, Rational)]

Instances

Eq SOSConstraint
Ord SOSConstraint
Show SOSConstraint
Variables SOSConstraint

defaultBounds :: Bounds Source

default bounds

defaultLB :: BoundExpr Source

default lower bound (0)

defaultUB :: BoundExpr Source

default upper bound (+∞)

toVar :: String -> Var Source

convert a string into a variable

fromVar :: Var -> String Source

convert a variable into a string

getVarInfo :: Problem -> Var -> VarInfo Source

looking up attributes for a variable

getVarType :: Problem -> Var -> VarType Source

looking up bounds for a variable

getBounds :: Problem -> Var -> Bounds Source

looking up bounds for a variable

variables :: Problem -> Set Var Source

integerVariables :: Problem -> Set Var Source

semiContinuousVariables :: Problem -> Set Var Source

semiIntegerVariables :: Problem -> Set Var Source

Utilities

class Variables a where Source

Methods

vars :: a -> Set Var Source

Instances

Variables SOSConstraint
Variables Constraint
Variables Term
Variables Problem
Variables a => Variables [a]
(Variables a, Variables b) => Variables (Either a b)

intersectBounds :: Bounds -> Bounds -> Bounds Source