- type LPM v c = State (LP v c)
- runLPM :: (Ord v, Module r c) => LPM v c a -> (a, LP v c)
- execLPM :: (Ord v, Module r c) => LPM v c a -> LP v c
- setDirection :: Direction -> LPM v c ()
- leq :: (Ord v, Module r c) => LinFunc v c -> LinFunc v c -> LPM v c ()
- geq :: (Ord v, Module r c) => LinFunc v c -> LinFunc v c -> LPM v c ()
- equal :: (Ord v, Module r c) => LinFunc v c -> LinFunc v c -> LPM v c ()
- leq' :: (Ord v, Module r c) => String -> LinFunc v c -> LinFunc v c -> LPM v c ()
- geq' :: (Ord v, Module r c) => String -> LinFunc v c -> LinFunc v c -> LPM v c ()
- equal' :: (Ord v, Module r c) => String -> LinFunc v c -> LinFunc v c -> LPM v c ()
- leqTo :: LinFunc v c -> c -> LPM v c ()
- geqTo :: LinFunc v c -> c -> LPM v c ()
- equalTo :: LinFunc v c -> c -> LPM v c ()
- leqTo' :: String -> LinFunc v c -> c -> LPM v c ()
- geqTo' :: String -> LinFunc v c -> c -> LPM v c ()
- equalTo' :: String -> LinFunc v c -> c -> LPM v c ()
- varLeq :: (Ord v, Ord c) => v -> c -> LPM v c ()
- varGeq :: (Ord v, Ord c) => v -> c -> LPM v c ()
- varEq :: (Ord v, Ord c) => v -> c -> LPM v c ()
- varBds :: (Ord v, Ord c) => v -> c -> c -> LPM v c ()
- constrain :: LinFunc v c -> Bounds c -> LPM v c ()
- constrain' :: String -> LinFunc v c -> Bounds c -> LPM v c ()
- setObjective :: LinFunc v c -> LPM v c ()
- addObjective :: (Ord v, Module r c) => LinFunc v c -> LPM v c ()
- addWeightedObjective :: (Ord v, Module r c) => r -> LinFunc v c -> LPM v c ()
- setVarBounds :: (Ord v, Ord c) => v -> Bounds c -> LPM v c ()
- setVarKind :: Ord v => v -> VarKind -> LPM v c ()
Documentation
runLPM :: (Ord v, Module r c) => LPM v c a -> (a, LP v c)Source
Constructs a linear programming problem, returning any desired return value.
setDirection :: Direction -> LPM v c ()Source
Sets the optimization direction of the linear program: maximization or minimization.
setObjective :: LinFunc v c -> LPM v c ()Source