Ersatz.Internal.Literal

Documentation

newtype Literal

A naked possibly-negated Atom, present in the target Solver.

Constructors

Literal

Fields

literalId :: Int

Instances

Eq Literal

Ord Literal

Show Literal

Typeable Literal

QDIMACS Literal

Variable Literal

Decoding Literal

negateLiteral :: Literal -> Literal

data Lit

Literals with partial evaluation

Constructors

Lit !Literal

Bool !Bool

Instances

Show Lit

Typeable Lit

Variable Lit

Encoding Lit

Decoding Lit

lit :: Bool -> Lit

Lift a Bool to a Lit

negateLit :: Lit -> Lit