Safe Haskell	Safe-Inferred
Language	Haskell2010

Satchmo.Data

Description

this module just defines types for formulas, it is not meant to contain efficient implementations for formula manipulation.

Documentation

Instances details

Show CNF Source #
Instance details Defined in Satchmo.Data Methods showsPrec :: Int -> CNF -> ShowS # show :: CNF -> String # showList :: [CNF] -> ShowS #

Instances details

Show Clause Source #
Instance details Defined in Satchmo.Data Methods showsPrec :: Int -> Clause -> ShowS # show :: Clause -> String # showList :: [Clause] -> ShowS #
Eq Clause Source #
Instance details Defined in Satchmo.Data Methods (==) :: Clause -> Clause -> Bool # (/=) :: Clause -> Clause -> Bool #
Ord Clause Source #
Instance details Defined in Satchmo.Data Methods compare :: Clause -> Clause -> Ordering # (<) :: Clause -> Clause -> Bool # (<=) :: Clause -> Clause -> Bool # (>) :: Clause -> Clause -> Bool # (>=) :: Clause -> Clause -> Bool # max :: Clause -> Clause -> Clause # min :: Clause -> Clause -> Clause #

Instances details

Generic Literal Source #
Instance details Defined in Satchmo.Data Associated Types type Rep Literal :: Type -> Type # Methods from :: Literal -> Rep Literal x # to :: Rep Literal x -> Literal #
Show Literal Source #
Instance details Defined in Satchmo.Data Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #
Eq Literal Source #
Instance details Defined in Satchmo.Data Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Ord Literal Source #
Instance details Defined in Satchmo.Data Methods compare :: Literal -> Literal -> Ordering # (<) :: Literal -> Literal -> Bool # (<=) :: Literal -> Literal -> Bool # (>) :: Literal -> Literal -> Bool # (>=) :: Literal -> Literal -> Bool # max :: Literal -> Literal -> Literal # min :: Literal -> Literal -> Literal #
Hashable Literal Source #
Instance details Defined in Satchmo.Data Methods hashWithSalt :: Int -> Literal -> Int # hash :: Literal -> Int #
type Rep Literal Source #
Instance details Defined in Satchmo.Data type Rep Literal = D1 ('MetaData "Literal" "Satchmo.Data" "satchmo-2.9.9.4-Aqsq65NcGJ9IL95KAH1ZK1" 'False) (C1 ('MetaCons "Literal" 'PrefixI 'True) (S1 ('MetaSel ('Just "variable") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Variable) :*: S1 ('MetaSel ('Just "positive") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))