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

Methods

showsPrec :: Int -> Direction -> ShowS

show :: Direction -> String

showList :: [Direction] -> ShowS

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)

Methods

showsPrec :: Int -> Program z r c -> ShowS

show :: Program z r c -> String

showList :: [Program z r c] -> ShowS

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