Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Logic.ATP.DefCNF

Contents

Description

Definitional CNF.

Synopsis

Documentation

class NumAtom atom where Source #

Methods

Instances details

NumAtom Atom Source #
Instance details Defined in Data.Logic.ATP.DefCNF Methods ma :: Integer -> Atom Source # ai :: Atom -> Integer Source #
NumAtom (Knows Integer) Source #
Instance details Defined in Data.Logic.ATP.DP Methods ma :: Integer -> Knows Integer Source # ai :: Knows Integer -> Integer Source #

Overall definitional CNF.

Version tweaked to exploit initial structure.

Version that guarantees 3-CNF.

Instance

Constructors

Instances details

NumAtom Atom Source #
Instance details Defined in Data.Logic.ATP.DefCNF Methods ma :: Integer -> Atom Source # ai :: Atom -> Integer Source #
IsAtom Atom Source #
Instance details Defined in Data.Logic.ATP.DefCNF
HasFixity Atom Source #
Instance details Defined in Data.Logic.ATP.DefCNF Methods precedence :: Atom -> Precedence Source # associativity :: Atom -> Associativity Source #
Show Atom Source #
Instance details Defined in Data.Logic.ATP.DefCNF Methods showsPrec :: Int -> Atom -> ShowS # show :: Atom -> String # showList :: [Atom] -> ShowS #
Eq Atom Source #
Instance details Defined in Data.Logic.ATP.DefCNF Methods (==) :: Atom -> Atom -> Bool # (/=) :: Atom -> Atom -> Bool #
Ord Atom Source #
Instance details Defined in Data.Logic.ATP.DefCNF Methods compare :: Atom -> Atom -> Ordering # (<) :: Atom -> Atom -> Bool # (<=) :: Atom -> Atom -> Bool # (>) :: Atom -> Atom -> Bool # (>=) :: Atom -> Atom -> Bool # max :: Atom -> Atom -> Atom # min :: Atom -> Atom -> Atom #
Pretty Atom Source #
Instance details Defined in Data.Logic.ATP.DefCNF Methods pPrintPrec :: PrettyLevel -> Rational -> Atom -> Doc # pPrint :: Atom -> Doc # pPrintList :: PrettyLevel -> [Atom] -> Doc #