Numeric.Limp.Solvers.Cbc.MatrixRepr

Documentation

data MatrixRepr

A half-sparse, half-dense matrix (tableau?) representation of a linear program. Columns are variables, and constraints are rows.

Constructors

MatrixRepr

Fields

• _starts :: Vector Int

  starting indices segment descriptor for indsvals. one per row (constraint). but for some reason, there's an extra one at the end. starts ! 0 == 0 && starts ! (length starts - 1) == length indsvals (I think)

• _inds :: Vector Int
• _vals :: Vector Double

  segmented array. each pair is an index of the column (variable), and the coefficient. the segment number is the row (constraint). ^ Coefficients of the constraints

• _colLs :: Vector Double
• _colUs :: Vector Double

  Lower and upper bound for each variable

• _obj :: Vector Double

  Coefficients of each variable in the objective function

• _rowLs :: Vector Double
• _rowUs :: Vector Double

  Lower and upper bound for each constraint

• _ints :: Vector Int

  Indices of each integer variable.

Instances

Show MatrixRepr

Defined in Numeric.Limp.Solvers.Cbc.MatrixRepr

Methods

showsPrec :: Int -> MatrixRepr -> ShowS

show :: MatrixRepr -> String

showList :: [MatrixRepr] -> ShowS

matrixReprOfProgram :: (Ord z, Ord r) => Program z r IntDouble -> MatrixRepr

makeAssignment :: (Ord z, Ord r) => Program z r IntDouble -> Vector Double -> Assignment z r IntDouble