Interfaces.FZSolutionParser

This module parses the solutions outputed by the specified FlatZinc solver. It supports multiple solutions. The parser might fail if there is a show item in the represented MiniZinc model which alters the default format of the solutions' output.

Documentation

getSolution :: Int -> String -> Either ParseError [Solution]

Same as getSolutionFromFile but parses the string argument of the function instead of the contents of a file.

printSolution :: Int -> String -> IO ()

Same as printSolutionFromFile but parses the string argument of the function instead of the contents of a file.

getSolutionFromFile :: FilePath -> Int -> IO (Either ParseError [Solution])

Returns either a parse error or a list of solutions of the constraint model, parsed from the file where they are printed. The length of the list is specified by the second argument of the function.

printSolutionFromFile :: Int -> FilePath -> IO ()

Prints either a parse error or a list of solutions of the constraint model parsed from a file where they are printed. The length of the list is sepcified by the second argument of the function.

type Solution = [(String, MValue)]

A Solution consists of a list of pairs. Each pair represents an assignment of a value to a decision variable of the constraint model.

data MValue

Representation of returned values.

Constructors

MError String

MInt Int

MFloat Float

MBool Bool

MString String

MArray [MValue]

MSet (Set MValue)

Instances

Show MValue

Methods

showsPrec :: Int -> MValue -> ShowS

show :: MValue -> String

showList :: [MValue] -> ShowS