Ersatz.Internal.Literal

Documentation

newtype Literal

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

The literals -1 and 1 are dedicated for the constant False and the constant True respectively.

Constructors

Literal

Fields

literalId :: Int

Instances

Eq Literal

Ord Literal

Show Literal

Typeable Literal

Variable Literal

Encoding Literal

Decoding Literal

negateLiteral :: Literal -> Literal

literalFalse :: Literal

The False constant. The literal -1 is dedicated for it.

literalTrue :: Literal

The True constant. The literal 1 is dedicated for it.