Copyright | (c) Masahiro Sakai 2018 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Extensions |
|
Documentation
data TseitinInfo Source #
TseitinInfo !Int !Int [(Var, Formula)] |
Instances
Eq TseitinInfo Source # | |
Defined in ToySolver.Converter.Tseitin (==) :: TseitinInfo -> TseitinInfo -> Bool # (/=) :: TseitinInfo -> TseitinInfo -> Bool # | |
Read TseitinInfo Source # | |
Defined in ToySolver.Converter.Tseitin readsPrec :: Int -> ReadS TseitinInfo # readList :: ReadS [TseitinInfo] # readPrec :: ReadPrec TseitinInfo # readListPrec :: ReadPrec [TseitinInfo] # | |
Show TseitinInfo Source # | |
Defined in ToySolver.Converter.Tseitin showsPrec :: Int -> TseitinInfo -> ShowS # show :: TseitinInfo -> String # showList :: [TseitinInfo] -> ShowS # | |
BackwardTransformer TseitinInfo Source # | |
Defined in ToySolver.Converter.Tseitin | |
ForwardTransformer TseitinInfo Source # | |
Defined in ToySolver.Converter.Tseitin | |
Transformer TseitinInfo Source # | |
Defined in ToySolver.Converter.Tseitin type Source TseitinInfo Source # type Target TseitinInfo Source # | |
type Source TseitinInfo Source # | |
Defined in ToySolver.Converter.Tseitin | |
type Target TseitinInfo Source # | |
Defined in ToySolver.Converter.Tseitin |