Data.LinearProgram.LPMonad

Documentation

type LPM v c = State (LP v c)

A State monad used for the construction of a linear program.

runLPM :: (Ord v, Module r c) => LPM v c a -> (a, LP v c)

Constructs a linear programming problem, returning any desired return value.

execLPM :: (Ord v, Module r c) => LPM v c a -> LP v c

Constructs a linear programming problem.

setDirection :: Direction -> LPM v c ()

Sets the optimization direction of the linear program: maximization or minimization.

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