Copyright | (c) Masahiro Sakai 2014 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | provisional |
Portability | non-portable (DeriveDataTypeable) |
Safe Haskell | Safe |
Language | Haskell2010 |
Wrapper for shd command.
- Hypergraph Dualization Repository http://research.nii.ac.jp/~uno/dualization.html
Synopsis
- data Options = Options {
- optSHDCommand :: FilePath
- optSHDArgs :: [String]
- optOnGetLine :: String -> IO ()
- optOnGetErrorLine :: String -> IO ()
- data Failure = Failure !Int
- minimalHittingSets :: Options -> Set IntSet -> IO (Set IntSet)
Documentation
Options for solving.
The default option can be obtained by def
.
Options | |
|
Instances
Show Failure Source # | |
Exception Failure Source # | |
Defined in ToySolver.Combinatorial.HittingSet.SHD toException :: Failure -> SomeException # fromException :: SomeException -> Maybe Failure # displayException :: Failure -> String # |