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

Generic Literal

Defined in Satyros.CNF.Literal

Associated Types

type Rep Literal :: Type -> Type

Methods

from :: Literal -> Rep Literal x

to :: Rep Literal x -> Literal

HasClauses (Storage s) (Vector Clause)

Defined in Satyros.DPLL.Storage

Methods

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

type Rep Literal

Defined in Satyros.CNF.Literal

type Rep Literal = D1 ('MetaData "Literal" "Satyros.CNF.Literal" "satyros-0.3.1.4-3YwMxGnZD0k1OVgpDx5SHB" 'True) (C1 ('MetaCons "LiteralInternal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

negateLiteral :: Literal -> Literal

literalToVariable :: Literal -> Variable

literalToPositivity :: Literal -> Positivity