toysolver-0.9.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 HaskellSafe-Inferred
LanguageHaskell2010
Extensions
  • MonoLocalBinds
  • TypeFamilies
  • OverloadedStrings
  • KindSignatures
  • ExplicitNamespaces

ToySolver.Converter.GCNF2MaxSAT

Description

 

Documentation

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

newtype GCNF2MaxSATInfo Source #

Constructors

GCNF2MaxSATInfo Int 

Instances

Instances details
FromJSON GCNF2MaxSATInfo Source # 
Instance details

Defined in ToySolver.Converter.GCNF2MaxSAT

Methods

parseJSON :: Value -> Parser GCNF2MaxSATInfo #

parseJSONList :: Value -> Parser [GCNF2MaxSATInfo] #

omittedField :: Maybe GCNF2MaxSATInfo #

ToJSON GCNF2MaxSATInfo Source # 
Instance details

Defined in ToySolver.Converter.GCNF2MaxSAT

Methods

toJSON :: GCNF2MaxSATInfo -> Value #

toEncoding :: GCNF2MaxSATInfo -> Encoding #

toJSONList :: [GCNF2MaxSATInfo] -> Value #

toEncodingList :: [GCNF2MaxSATInfo] -> Encoding #

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

Eq GCNF2MaxSATInfo Source # 
Instance details

Defined in ToySolver.Converter.GCNF2MaxSAT

Methods

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

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

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

type Target GCNF2MaxSATInfo 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