toysolver-0.6.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

Copyright(c) Masahiro Sakai 2016
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

ToySolver.Converter.GCNF2MaxSAT

Description

 

Documentation

gcnf2maxsat :: GCNF -> (WCNF, GCNF2MaxSATInfo) Source #

data GCNF2MaxSATInfo Source #

Constructors

GCNF2MaxSATInfo !Int 
Instances
Eq GCNF2MaxSATInfo Source # 
Instance details

Defined in ToySolver.Converter.GCNF2MaxSAT

Methods

(==) :: GCNF2MaxSATInfo -> GCNF2MaxSATInfo -> Bool #

(/=) :: GCNF2MaxSATInfo -> GCNF2MaxSATInfo -> Bool #

Read GCNF2MaxSATInfo Source # 
Instance details

Defined in ToySolver.Converter.GCNF2MaxSAT

Methods

readsPrec :: Int -> ReadS GCNF2MaxSATInfo #

readList :: ReadS [GCNF2MaxSATInfo] #

readPrec :: ReadPrec GCNF2MaxSATInfo #

readListPrec :: ReadPrec [GCNF2MaxSATInfo] #

Show GCNF2MaxSATInfo Source # 
Instance details

Defined in ToySolver.Converter.GCNF2MaxSAT

Methods

showsPrec :: Int -> GCNF2MaxSATInfo -> ShowS #

show :: GCNF2MaxSATInfo -> String #

showList :: [GCNF2MaxSATInfo] -> ShowS #

BackwardTransformer GCNF2MaxSATInfo Source # 
Instance details

Defined in ToySolver.Converter.GCNF2MaxSAT

Methods

transformBackward :: GCNF2MaxSATInfo -> Target GCNF2MaxSATInfo -> Source GCNF2MaxSATInfo Source #

Transformer GCNF2MaxSATInfo Source # 
Instance details

Defined in ToySolver.Converter.GCNF2MaxSAT

Associated Types

type Source GCNF2MaxSATInfo :: Type Source #

type Target GCNF2MaxSATInfo :: Type Source #

type Source GCNF2MaxSATInfo Source # 
Instance details

Defined in ToySolver.Converter.GCNF2MaxSAT

type Source GCNF2MaxSATInfo = Model
type Target GCNF2MaxSATInfo Source # 
Instance details

Defined in ToySolver.Converter.GCNF2MaxSAT

type Target GCNF2MaxSATInfo = Model