Copyright | © Edward Kmett 2010-2014 Johan Kiviniemi 2013 |
---|---|
License | BSD3 |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- newtype Literal = Literal {}
- negateLiteral :: Literal -> Literal
- literalFalse :: Literal
- literalTrue :: Literal
Documentation
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.
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.