Satchmo.SAT.Tmpfile
Contents
data SAT a Source #
Defined in Satchmo.SAT.Tmpfile
Methods
mfix :: (a -> SAT a) -> SAT a #
liftIO :: IO a -> SAT a #
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 #
fmap :: (a -> b) -> SAT a -> SAT b #
(<$) :: a -> SAT b -> SAT a #
(>>=) :: SAT a -> (a -> SAT b) -> SAT b #
(>>) :: SAT a -> SAT b -> SAT b #
return :: a -> SAT a #
Associated Types
type Decoder SAT :: Type -> Type Source #
fresh :: SAT Literal Source #
fresh_forall :: SAT Literal Source #
emit :: Clause -> SAT () Source #
note :: String -> SAT () Source #
decode_variable :: Variable -> Decoder SAT Bool Source #
ask :: SAT Handle #
local :: (Handle -> Handle) -> SAT a -> SAT a #
reader :: (Handle -> a) -> SAT a #
data Header Source #
Constructors
Fields
Defined in Satchmo.MonadSAT
showsPrec :: Int -> Header -> ShowS #
show :: Header -> String #
showList :: [Header] -> ShowS #
fresh, fresh_forall :: MonadSAT m => m Literal Source #
emit :: MonadSAT m => Clause -> m () Source #
type Weight = Int Source #
sat :: SAT a -> IO (ByteString, Header, a) Source #
decode :: Boolean -> Reader (Array Variable Bool) Bool Source #