Copyright	© Edward Kmett 2010-2014 Johan Kiviniemi 2013
License	BSD3
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	Safe
Language	Haskell2010

Ersatz.Internal.Literal

Description

Synopsis

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 #
Instance details Defined in Ersatz.Internal.Literal Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Ord Literal #
Instance details Defined in Ersatz.Internal.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 #
Instance details Defined in Ersatz.Internal.Literal Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #
Codec Literal #
Instance details Defined in Ersatz.Codec Associated Types type Decoded Literal :: * # Methods decode :: MonadPlus f => Solution -> Literal -> f (Decoded Literal) # encode :: Decoded Literal -> Literal #
Variable Literal #
Instance details Defined in Ersatz.Variable Methods literally :: (HasSAT s, MonadState s m) => m Literal -> m Literal #
type Decoded Literal #
Instance details Defined in Ersatz.Codec type Decoded Literal = Bool

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

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