toysolver-0.6.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

Copyright	(c) Masahiro Sakai 20122016
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	provisional
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

ToySolver.Text.SDPFile

Contents

The problem type
The solution type
File I/O
Construction
Rendering
Parsing

Description

References:

SDPA (Semidefinite Programming Algorithm) User's Manual http://sdpa.indsys.chuo-u.ac.jp/~fujisawa/sdpa_doc.pdf
http://euler.nmt.edu/~brian/sdplib/FORMAT

Synopsis

data Problem = Problem {
- blockStruct :: [Int]
- costs :: [Scientific]
- matrices :: [Matrix]
}
type Matrix = [Block]
type Block = Map (Int, Int) Scientific
mDim :: Problem -> Int
nBlock :: Problem -> Int
blockElem :: Int -> Int -> Block -> Scientific
data Solution = Solution {
- primalVector :: [Scientific]
- primalMatrix :: Matrix
- dualMatrix :: Matrix
}
evalPrimalObjective :: Problem -> Solution -> Scientific
evalDualObjective :: Problem -> Solution -> Scientific
readDataFile :: FilePath -> IO Problem
writeDataFile :: FilePath -> Problem -> IO ()
type DenseMatrix = [DenseBlock]
type DenseBlock = [[Scientific]]
denseMatrix :: DenseMatrix -> Matrix
denseBlock :: DenseBlock -> Block
diagBlock :: [Scientific] -> Block
renderData :: Problem -> Builder
renderSparseData :: Problem -> Builder
type ParseError = ParseErrorBundle ByteString Void
parseData :: String -> ByteString -> Either ParseError Problem
parseSparseData :: String -> ByteString -> Either ParseError Problem

The problem type

data Problem Source #

Constructors

Problem
Fields blockStruct :: [Int] the block strcuture vector (bLOCKsTRUCT) costs :: [Scientific] Constant Vector matrices :: [Matrix] Constraint Matrices

Instances

Eq Problem Source #
Instance details Defined in ToySolver.Text.SDPFile Methods (==) :: Problem -> Problem -> Bool # (/=) :: Problem -> Problem -> Bool #
Ord Problem Source #
Instance details Defined in ToySolver.Text.SDPFile Methods compare :: Problem -> Problem -> Ordering # (<) :: Problem -> Problem -> Bool # (<=) :: Problem -> Problem -> Bool # (>) :: Problem -> Problem -> Bool # (>=) :: Problem -> Problem -> Bool # max :: Problem -> Problem -> Problem # min :: Problem -> Problem -> Problem #
Show Problem Source #
Instance details Defined in ToySolver.Text.SDPFile Methods showsPrec :: Int -> Problem -> ShowS # show :: Problem -> String # showList :: [Problem] -> ShowS #

type Matrix = [Block] Source #

type Block = Map (Int, Int) Scientific Source #

mDim :: Problem -> Int Source #

the number of primal variables (mDim)

nBlock :: Problem -> Int Source #

the number of blocks (nBLOCK)

blockElem :: Int -> Int -> Block -> Scientific Source #

The solution type

data Solution Source #

Constructors

Solution
Fields primalVector :: [Scientific] The primal variable vector x primalMatrix :: Matrix The primal variable matrix X dualMatrix :: Matrix The dual variable matrix Y

Instances

Eq Solution Source #
Instance details Defined in ToySolver.Text.SDPFile Methods (==) :: Solution -> Solution -> Bool # (/=) :: Solution -> Solution -> Bool #
Ord Solution Source #
Instance details Defined in ToySolver.Text.SDPFile Methods compare :: Solution -> Solution -> Ordering # (<) :: Solution -> Solution -> Bool # (<=) :: Solution -> Solution -> Bool # (>) :: Solution -> Solution -> Bool # (>=) :: Solution -> Solution -> Bool # max :: Solution -> Solution -> Solution # min :: Solution -> Solution -> Solution #
Show Solution Source #
Instance details Defined in ToySolver.Text.SDPFile Methods showsPrec :: Int -> Solution -> ShowS # show :: Solution -> String # showList :: [Solution] -> ShowS #

evalPrimalObjective :: Problem -> Solution -> Scientific Source #

evalDualObjective :: Problem -> Solution -> Scientific Source #

File I/O

readDataFile :: FilePath -> IO Problem Source #

Parse a SDPA format file (.dat) or a SDPA sparse format file (.dat-s)..

writeDataFile :: FilePath -> Problem -> IO () Source #

Construction

type DenseMatrix = [DenseBlock] Source #

type DenseBlock = [[Scientific]] Source #

denseMatrix :: DenseMatrix -> Matrix Source #

denseBlock :: DenseBlock -> Block Source #

diagBlock :: [Scientific] -> Block Source #

Rendering

renderData :: Problem -> Builder Source #

renderSparseData :: Problem -> Builder Source #

Parsing

type ParseError = ParseErrorBundle ByteString Void Source #

parseData :: String -> ByteString -> Either ParseError Problem Source #

Parse a SDPA format (.dat) string.

parseSparseData :: String -> ByteString -> Either ParseError Problem Source #

Parse a SDPA sparse format (.dat-s) string.