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))

Instances

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

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

Find set of all variables mentioned in program

mergeBounds :: Rep c => (Maybe (R c), Maybe (R c)) -> (Maybe (R c), Maybe (R c)) -> (Maybe (R c), Maybe (R c))

Merge some lower and upper bounds

checkProgram :: (Rep c, Ord z, Ord r) => Assignment z r c -> Program z r c -> Bool

Check whether an assignment satisfies the program's constraints and bounds

checkBounds :: (Rep c, Ord z, Ord r) => Assignment z r c -> Map (Either z r) (Maybe (R c), Maybe (R c)) -> Bool