| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
MCSP.Heuristics.Combine
Description
Combine Heuristics for solving the MCSP problem.
Documentation
newtype UseSingletons Source #
Enable or disable singleton analysis in combine.
Constructors
| UseSingletons Bool |
Instances
| Show UseSingletons Source # | |
Defined in MCSP.Heuristics.Combine Methods showsPrec :: Int -> UseSingletons -> ShowS # show :: UseSingletons -> String # showList :: [UseSingletons] -> ShowS # | |
| Eq UseSingletons Source # | |
Defined in MCSP.Heuristics.Combine Methods (==) :: UseSingletons -> UseSingletons -> Bool # (/=) :: UseSingletons -> UseSingletons -> Bool # | |
| Ord UseSingletons Source # | |
Defined in MCSP.Heuristics.Combine Methods compare :: UseSingletons -> UseSingletons -> Ordering # (<) :: UseSingletons -> UseSingletons -> Bool # (<=) :: UseSingletons -> UseSingletons -> Bool # (>) :: UseSingletons -> UseSingletons -> Bool # (>=) :: UseSingletons -> UseSingletons -> Bool # max :: UseSingletons -> UseSingletons -> UseSingletons # min :: UseSingletons -> UseSingletons -> UseSingletons # | |
| MetaInputVariable UseSingletons Source # | |
Defined in MCSP.Heuristics.Combine Methods | |