ToySolver.Text.SDPFile

Contents

• The problem type
• Construction
• Rendering
• Parsing

Description

Synopsis

• data Problem = Problem {
  • blockStruct :: [Int]
  • costs :: [Rational]
  • matrices :: [Matrix]
  }
• type Matrix = [Block]
• type Block = Map (Int, Int) Rational
• mDim :: Problem -> Int
• nBlock :: Problem -> Int
• blockElem :: Int -> Int -> Block -> Rational
• type DenseMatrix = [DenseBlock]
• type DenseBlock = [[Rational]]
• denseMatrix :: DenseMatrix -> Matrix
• denseBlock :: DenseBlock -> Block
• diagBlock :: [Rational] -> Block
• render :: Problem -> ShowS
• renderSparse :: Problem -> ShowS
• parseDataString :: SourceName -> String -> Either ParseError Problem
• parseDataFile :: FilePath -> IO (Either ParseError Problem)
• parseSparseDataString :: SourceName -> String -> Either ParseError Problem
• parseSparseDataFile :: FilePath -> IO (Either ParseError Problem)

The problem type

Construction

Rendering

Parsing