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)

Defined in Numeric.Limp.Canon.Pretty

Methods

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

show :: Program z r c -> String

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

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