Satchmo.Data

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

Documentation

data CNF

Instances

Show CNF

Defined in Satchmo.Data

Methods

showsPrec :: Int -> CNF -> ShowS

show :: CNF -> String

showList :: [CNF] -> ShowS

cnf :: [Clause] -> CNF

clauses :: CNF -> [Clause]

size :: CNF -> Int

data Clause

Instances

Show Clause

Defined in Satchmo.Data

Methods

showsPrec :: Int -> Clause -> ShowS

show :: Clause -> String

showList :: [Clause] -> ShowS

Eq Clause

Defined in Satchmo.Data

Methods

(==) :: Clause -> Clause -> Bool

(/=) :: Clause -> Clause -> Bool

Ord Clause

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

clause :: [Literal] -> Clause

literals :: Clause -> [Literal]

data Literal

Instances

Generic Literal

Defined in Satchmo.Data

Associated Types

type Rep Literal :: Type -> Type

Methods

from :: Literal -> Rep Literal x

to :: Rep Literal x -> Literal

Show Literal

Defined in Satchmo.Data

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

Eq Literal

Defined in Satchmo.Data

Methods

(==) :: Literal -> Literal -> Bool

(/=) :: Literal -> Literal -> Bool

Ord Literal

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

Defined in Satchmo.Data

Methods

hashWithSalt :: Int -> Literal -> Int

hash :: Literal -> Int

type Rep Literal

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)))

literal :: Bool -> Variable -> Literal

nicht :: Literal -> Literal

positive :: Literal -> Bool

variable :: Literal -> Variable

type Variable = Int