toysolver-0.7.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
Copyright(c) Masahiro Sakai 2018
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010
Extensions
  • MonoLocalBinds
  • TypeFamilies
  • KindSignatures
  • ExplicitNamespaces

ToySolver.Converter.Tseitin

Description

 

Documentation

data TseitinInfo Source #

Constructors

TseitinInfo !Int !Int [(Var, Formula)] 

Instances

Instances details
Eq TseitinInfo Source # 
Instance details

Defined in ToySolver.Converter.Tseitin

Methods

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

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

Read TseitinInfo Source # 
Instance details

Defined in ToySolver.Converter.Tseitin

Methods

readsPrec :: Int -> ReadS TseitinInfo #

readList :: ReadS [TseitinInfo] #

readPrec :: ReadPrec TseitinInfo #

readListPrec :: ReadPrec [TseitinInfo] #

Show TseitinInfo Source # 
Instance details

Defined in ToySolver.Converter.Tseitin

Methods

showsPrec :: Int -> TseitinInfo -> ShowS #

show :: TseitinInfo -> String #

showList :: [TseitinInfo] -> ShowS #

BackwardTransformer TseitinInfo Source # 
Instance details

Defined in ToySolver.Converter.Tseitin

Methods

transformBackward :: TseitinInfo -> Target TseitinInfo -> Source TseitinInfo Source #

ForwardTransformer TseitinInfo Source # 
Instance details

Defined in ToySolver.Converter.Tseitin

Methods

transformForward :: TseitinInfo -> Source TseitinInfo -> Target TseitinInfo Source #

Transformer TseitinInfo Source # 
Instance details

Defined in ToySolver.Converter.Tseitin

Associated Types

type Source TseitinInfo Source #

type Target TseitinInfo Source #

type Source TseitinInfo Source # 
Instance details

Defined in ToySolver.Converter.Tseitin

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

Defined in ToySolver.Converter.Tseitin

type Target TseitinInfo = Model