Copyright | (c) Masahiro Sakai 2016 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Extensions |
|
ToySolver.Converter.GCNF2MaxSAT
Description
Documentation
gcnf2maxsat :: GCNF -> (WCNF, GCNF2MaxSATInfo) Source #
data GCNF2MaxSATInfo Source #
Constructors
GCNF2MaxSATInfo !Int |
Instances
Eq GCNF2MaxSATInfo Source # | |
Defined in ToySolver.Converter.GCNF2MaxSAT Methods (==) :: GCNF2MaxSATInfo -> GCNF2MaxSATInfo -> Bool # (/=) :: GCNF2MaxSATInfo -> GCNF2MaxSATInfo -> Bool # | |
Read GCNF2MaxSATInfo Source # | |
Defined in ToySolver.Converter.GCNF2MaxSAT Methods readsPrec :: Int -> ReadS GCNF2MaxSATInfo # readList :: ReadS [GCNF2MaxSATInfo] # | |
Show GCNF2MaxSATInfo Source # | |
Defined in ToySolver.Converter.GCNF2MaxSAT Methods showsPrec :: Int -> GCNF2MaxSATInfo -> ShowS # show :: GCNF2MaxSATInfo -> String # showList :: [GCNF2MaxSATInfo] -> ShowS # | |
BackwardTransformer GCNF2MaxSATInfo Source # | |
Defined in ToySolver.Converter.GCNF2MaxSAT Methods transformBackward :: GCNF2MaxSATInfo -> Target GCNF2MaxSATInfo -> Source GCNF2MaxSATInfo Source # | |
Transformer GCNF2MaxSATInfo Source # | |
Defined in ToySolver.Converter.GCNF2MaxSAT | |
type Source GCNF2MaxSATInfo Source # | |
Defined in ToySolver.Converter.GCNF2MaxSAT | |
type Target GCNF2MaxSATInfo Source # | |
Defined in ToySolver.Converter.GCNF2MaxSAT |