Copyright	(c) Masahiro Sakai 2014
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	provisional
Portability	non-portable (DeriveDataTypeable)
Safe Haskell	Safe
Language	Haskell2010

ToySolver.Combinatorial.HittingSet.HTCBDD

Description

Wrapper for htcbdd command.

HTC-BDD: Hypergraph Transversal Computation with Binary Decision Diagrams http://kuma-san.net/htcbdd.html

Synopsis

Documentation

Options for solving.

The default option can be obtained by def.

Constructors

Options
Fields optHTCBDDCommand :: FilePath optMethod :: Method optOnGetLine :: String -> IO () optOnGetErrorLine :: String -> IO ()

Instances

Default Options Source #
Instance details Defined in ToySolver.Combinatorial.HittingSet.HTCBDD Methods def :: Options #

Constructors

MethodToda
MethodKnuth

Instances

Eq Method Source #
Instance details Defined in ToySolver.Combinatorial.HittingSet.HTCBDD Methods (==) :: Method -> Method -> Bool # (/=) :: Method -> Method -> Bool #
Ord Method Source #
Instance details Defined in ToySolver.Combinatorial.HittingSet.HTCBDD Methods compare :: Method -> Method -> Ordering # (<) :: Method -> Method -> Bool # (<=) :: Method -> Method -> Bool # (>) :: Method -> Method -> Bool # (>=) :: Method -> Method -> Bool # max :: Method -> Method -> Method # min :: Method -> Method -> Method #
Show Method Source #
Instance details Defined in ToySolver.Combinatorial.HittingSet.HTCBDD Methods showsPrec :: Int -> Method -> ShowS # show :: Method -> String # showList :: [Method] -> ShowS #
Default Method Source #
Instance details Defined in ToySolver.Combinatorial.HittingSet.HTCBDD Methods def :: Method #

Constructors

Instances

Show Failure Source #
Instance details Defined in ToySolver.Combinatorial.HittingSet.HTCBDD Methods showsPrec :: Int -> Failure -> ShowS # show :: Failure -> String # showList :: [Failure] -> ShowS #
Exception Failure Source #
Instance details Defined in ToySolver.Combinatorial.HittingSet.HTCBDD Methods toException :: Failure -> SomeException # fromException :: SomeException -> Maybe Failure # displayException :: Failure -> String #