Folly-0.2.0.1: A first order logic library in Haskell

Safe Haskell	Safe
Language	Haskell98

Folly.Clause

Documentation

data Clause Source

Instances

Eq Clause Source
Ord Clause Source
Show Clause Source

givenClause :: Set Formula -> Clause Source

empty :: Clause Source

deleteTautologies :: Set Clause -> Set Clause Source

resolvedClauses :: Clause -> Clause -> Set Clause Source

showTrace :: Clause -> [Char] Source