Numeric.Limp.Program.Program

Definition of a whole program

Documentation

data Direction

Direction to optimise program in: minimise or maximise.

Constructors

Minimise

Maximise

Instances

Show Direction

data Program z r c

Whole program, parameterised by:

z

type of integer variables

r

type of real variables

c

representation of integers and reals (see Rep)

Constructors

Program

Fields

_direction :: Direction

Optimisation direction

_objective :: Linear z r c KR

The objective function

_constraints :: Constraint z r c

All constraints bundled up with :&&.

_bounds :: [Bounds z r c]

Upper and lower bounds of variables. Not all variables need to be mentioned, and if variables are mentioned multiple times, the intersection is used.

Instances

(Show z, Show r, Show (Z c), Show (R c)) => Show (Program z r c)

program :: Rep c => Direction -> Linear z r c k -> Constraint z r c -> [Bounds z r c] -> Program z r c

minimise :: Rep c => Linear z r c k -> Constraint z r c -> [Bounds z r c] -> Program z r c

maximise :: Rep c => Linear z r c k -> Constraint z r c -> [Bounds z r c] -> Program z r c