Copyright | (c) Masahiro Sakai 2011-2015 |
---|---|
License | BSD-style |
Maintainer | masahiro.sakai@gmail.com |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Extensions |
|
Documentation
Instances
Read PB2IPInfo Source # | |
Show PB2IPInfo Source # | |
Eq PB2IPInfo Source # | |
BackwardTransformer PB2IPInfo Source # | |
Defined in ToySolver.Converter.PB2IP | |
ForwardTransformer PB2IPInfo Source # | |
Defined in ToySolver.Converter.PB2IP | |
Transformer PB2IPInfo Source # | |
type Source PB2IPInfo Source # | |
Defined in ToySolver.Converter.PB2IP | |
type Target PB2IPInfo Source # | |
wbo2ip :: Bool -> SoftFormula -> (Problem Integer, WBO2IPInfo) Source #
data WBO2IPInfo Source #
Instances
Show WBO2IPInfo Source # | |
Defined in ToySolver.Converter.PB2IP showsPrec :: Int -> WBO2IPInfo -> ShowS # show :: WBO2IPInfo -> String # showList :: [WBO2IPInfo] -> ShowS # | |
Eq WBO2IPInfo Source # | |
Defined in ToySolver.Converter.PB2IP (==) :: WBO2IPInfo -> WBO2IPInfo -> Bool # (/=) :: WBO2IPInfo -> WBO2IPInfo -> Bool # | |
BackwardTransformer WBO2IPInfo Source # | |
Defined in ToySolver.Converter.PB2IP | |
ForwardTransformer WBO2IPInfo Source # | |
Defined in ToySolver.Converter.PB2IP | |
Transformer WBO2IPInfo Source # | |
Defined in ToySolver.Converter.PB2IP type Source WBO2IPInfo Source # type Target WBO2IPInfo Source # | |
type Source WBO2IPInfo Source # | |
Defined in ToySolver.Converter.PB2IP | |
type Target WBO2IPInfo Source # | |
Defined in ToySolver.Converter.PB2IP |