| Copyright | (c) Some Guy, 2013 Someone Else, 2014 |
|---|---|
| License | GPL-3 |
| Maintainer | Klara Marntirosian <klara.mar@cs.kuleuven.be> |
| Stability | experimental |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Interfaces.FZSolutionParser
Description
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.
- getSolution :: Int -> String -> Either ParseError [Solution]
- printSolution :: Int -> String -> IO ()
- getSolutionFromFile :: FilePath -> Int -> IO (Either ParseError [Solution])
- printSolutionFromFile :: Int -> FilePath -> IO ()
- type Solution = [(String, MValue)]
- data MValue
Documentation
getSolution :: Int -> String -> Either ParseError [Solution] Source #
Same as getSolutionFromFile but parses the string argument of the function instead
of the contents of a file.
printSolution :: Int -> String -> IO () Source #
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]) Source #
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 () Source #
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.