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 details

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

Constructors

MethodToda
MethodKnuth

Instances details

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 #
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 #

Constructors

Instances details

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