ersatz-0.2.6.1: A monad for expressing SAT or QSAT problems using observable sharing.

Copyright© Edward Kmett 2010-2014, Johan Kiviniemi 2013
LicenseBSD3
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellTrustworthy
LanguageHaskell2010

Ersatz.Internal.Literal

Description

 

Synopsis

Documentation

newtype Literal Source

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

negateLiteral :: Literal -> Literal Source

literalFalse :: Literal Source

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

literalTrue :: Literal Source

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