Data.LinearProgram

Documentation

data Constraint v c

Constructors

Constr (Maybe String) (LinFunc v c) (Bounds c)

Instances

(Ord v, Read v, Read c) => Read (Constraint v c)

(Show v, Show c) => Show (Constraint v c)

type VarTypes v = Map v VarKind

type ObjectiveFunc = LinFunc

type VarBounds v c = Map v (Bounds c)

data LP v c

Constructors

LP

Fields

direction :: Direction

objective :: ObjectiveFunc v c

constraints :: [Constraint v c]

varBounds :: VarBounds v c

varTypes :: VarTypes v

Instances

(Ord v, Read v, Read c) => Read (LP v c)

(Show v, Show c) => Show (LP v c)

data VarKind

Constructors

ContVar

IntVar

BinVar

Instances

Eq VarKind

Ord VarKind

Read VarKind

Show VarKind

Monoid VarKind

data Direction

Constructors

Min

Max

Instances

Eq Direction

Ord Direction

Read Direction

Show Direction

data Bounds a

Constructors

Free

LBound a

UBound a

Equ a

Bound a a

Instances

Eq a => Eq (Bounds a)

Read a => Read (Bounds a)

Show a => Show (Bounds a)

Ord a => Monoid (Bounds a)

module Data.LinFunc