| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Numeric.Limp.Canon.Program
Description
Canon representation of linear program
Synopsis
- data Program z r c = Program {
- _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)
- mergeBounds :: Rep c => (Maybe (R c), Maybe (R c)) -> (Maybe (R c), Maybe (R c)) -> (Maybe (R c), Maybe (R c))
- checkProgram :: (Rep c, Ord z, Ord r) => Assignment z r c -> Program z r c -> Bool
- checkBounds :: (Rep c, Ord z, Ord r) => Assignment z r c -> Map (Either z r) (Maybe (R c), Maybe (R c)) -> Bool
Documentation
A program represented by objective, constraints and bounds. There is no need for an optimisation direction; the objective is just negated.
Constructors
| Program | |
Fields
| |
varsOfProgram :: (Ord z, Ord r) => Program z r c -> Set (Either z r) Source #
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)) Source #
Merge some lower and upper bounds
checkProgram :: (Rep c, Ord z, Ord r) => Assignment z r c -> Program z r c -> Bool Source #
Check whether an assignment satisfies the program's constraints and bounds