Satyros.CNF.Literal

Documentation

data Literal where

Bundled Patterns

pattern Literal :: Positivity -> Variable -> Literal

Instances

Eq Literal

Defined in Satyros.CNF.Literal

Methods

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

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

Ord Literal

Defined in Satyros.CNF.Literal

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

Show Literal

Defined in Satyros.CNF.Literal

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

HasClauses (Storage s) (Vector Clause)

Defined in Satyros.DPLL.Storage

Methods

clauses :: Lens' (Storage s) (Vector Clause)

negateLiteral :: Literal -> Literal

literalToVariable :: Literal -> Variable

literalToPositivity :: Literal -> Positivity