limp-0.1.0.0: representation of Integer Linear Programs

Safe HaskellNone
LanguageHaskell2010

Numeric.Limp.Canon.Program

Documentation

data Program z r c Source

Constructors

Program 

Fields

_objective :: Linear z r c
 
_constraints :: Constraint z r c
 
_bounds :: Map (Either z r) (Maybe (R c), Maybe (R c))
 

objective :: forall z r c. Lens' (Program z r c) (Linear z r c) Source

constraints :: forall z r c. Lens' (Program z r c) (Constraint z r c) Source

bounds :: forall z r c. Lens' (Program z r c) (Map (Either z r) (Maybe (R c), Maybe (R c))) Source

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