ToySolver.Combinatorial.HittingSet.SHD

Wrapper for shd command.

• Hypergraph Dualization Repository http://research.nii.ac.jp/~uno/dualization.html

Documentation

data Options

Options for solving.

The default option can be obtained by def.

Constructors

Options

Fields

• optSHDCommand :: FilePath
• optSHDArgs :: [String]
• optOnGetLine :: String -> IO ()
• optOnGetErrorLine :: String -> IO ()

Instances

Default Options

Methods

def :: Options

data Failure

Constructors

Failure !Int

Instances

Show Failure

Methods

showsPrec :: Int -> Failure -> ShowS

show :: Failure -> String

showList :: [Failure] -> ShowS

Exception Failure

Methods

toException :: Failure -> SomeException

fromException :: SomeException -> Maybe Failure

displayException :: Failure -> String

minimalHittingSets :: Options -> Set IntSet -> IO (Set IntSet)