| Copyright | (c) Masahiro Sakai 2014 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | non-portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
| Extensions | DeriveDataTypeable |
ToySolver.Combinatorial.HittingSet.SHD
Description
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.
Constructors
| Options | |
Fields
| |
Instances
| Exception Failure Source # | |
Defined in ToySolver.Combinatorial.HittingSet.SHD Methods toException :: Failure -> SomeException # fromException :: SomeException -> Maybe Failure # displayException :: Failure -> String # | |
| Show Failure Source # | |