Safe Haskell	Safe-Inferred
Language	Haskell2010

Satchmo.SAT.Mini

Contents

Documentation

Instances details

MonadFix SAT Source #
Instance details Defined in Satchmo.SAT.Mini Methods mfix :: (a -> SAT a) -> SAT a #
MonadIO SAT Source #	need this for hashtables
Instance details Defined in Satchmo.SAT.Mini Methods liftIO :: IO a -> SAT a #
Applicative SAT Source #
Instance details Defined in Satchmo.SAT.Mini Methods pure :: a -> SAT a # (<>) :: SAT (a -> b) -> SAT a -> SAT b # liftA2 :: (a -> b -> c) -> SAT a -> SAT b -> SAT c # (>) :: SAT a -> SAT b -> SAT b # (<*) :: SAT a -> SAT b -> SAT a #
Functor SAT Source #
Instance details Defined in Satchmo.SAT.Mini Methods fmap :: (a -> b) -> SAT a -> SAT b # (<$) :: a -> SAT b -> SAT a #
Monad SAT Source #
Instance details Defined in Satchmo.SAT.Mini Methods (>>=) :: SAT a -> (a -> SAT b) -> SAT b # (>>) :: SAT a -> SAT b -> SAT b # return :: a -> SAT a #
MonadSAT SAT Source #
Instance details Defined in Satchmo.SAT.Mini Associated Types type Decoder SAT :: Type -> Type Source # Methods fresh :: SAT Literal Source # fresh_forall :: SAT Literal Source # emit :: Clause -> SAT () Source # note :: String -> SAT () Source # decode_variable :: Variable -> Decoder SAT Bool Source #
Decode SAT Boolean Bool Source #
Instance details Defined in Satchmo.SAT.Mini Methods decode :: Boolean -> SAT Bool Source #
type Decoder SAT Source #
Instance details Defined in Satchmo.SAT.Mini type Decoder SAT = SAT

Constructors

SolveOptions
Fields verboseOutput :: Bool

Orphan instances

Enum Lit Source #
Instance details Methods succ :: Lit -> Lit # pred :: Lit -> Lit # toEnum :: Int -> Lit # fromEnum :: Lit -> Int # enumFrom :: Lit -> [Lit] # enumFromThen :: Lit -> Lit -> [Lit] # enumFromTo :: Lit -> Lit -> [Lit] # enumFromThenTo :: Lit -> Lit -> Lit -> [Lit] #