Copyright	(c) Masahiro Sakai 2018
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	experimental
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010
Extensions	MonoLocalBinds TypeFamilies OverloadedStrings KindSignatures ExplicitNamespaces

ToySolver.Converter.Tseitin

Description

Documentation

data TseitinInfo Source #

Constructors

TseitinInfo !Int !Int (VarMap Formula)

Instances

Instances details

FromJSON TseitinInfo Source #
Instance details Defined in ToySolver.Converter.Tseitin Methods parseJSON :: Value -> Parser TseitinInfo # parseJSONList :: Value -> Parser [TseitinInfo] # omittedField :: Maybe TseitinInfo #
ToJSON TseitinInfo Source #
Instance details Defined in ToySolver.Converter.Tseitin Methods toJSON :: TseitinInfo -> Value # toEncoding :: TseitinInfo -> Encoding # toJSONList :: [TseitinInfo] -> Value # toEncodingList :: [TseitinInfo] -> Encoding # omitField :: 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 #
Eq TseitinInfo Source #
Instance details Defined in ToySolver.Converter.Tseitin Methods (==) :: TseitinInfo -> TseitinInfo -> Bool # (/=) :: TseitinInfo -> TseitinInfo -> Bool #
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