Numeric.Limp.Canon.Program

Canon representation of linear program

Documentation

data Program z r c

A program represented by objective, constraints and bounds. There is no need for an optimisation direction; the objective is just negated.

Constructors

Program

Fields

_objective :: Linear z r c

_constraints :: Constraint z r c

_bounds :: Map (Either z r) (Maybe (R c), Maybe (R c))

varsOfProgram :: (Ord z, Ord r) => Program z r c -> Set (Either z r)

Find set of all variables mentioned in program