limp-0.1.0.0: representation of Integer Linear Programs

Safe HaskellNone
LanguageHaskell2010

Numeric.Limp.Canon.Linear

Documentation

data Linear z r c Source

Constructors

Linear (Map (Either z r) (R c)) 

mkLinear :: (Ord z, Ord r) => [(Either z r, R c)] -> Linear z r c Source

evalR :: (Rep c, Ord z, Ord r) => Assignment z r c -> Linear z r c -> R c Source

varsOfLinear :: (Ord z, Ord r) => Linear z r c -> Set (Either z r) Source