DavisPutnamFiniteSets

data Atom

type Klausel

type KlauselMenge

type AtomTupel

type FiniteSet

dpfs

dpfsAlle

dpfsSat

dpfsSatAlle

findTrueFalse

resolveTrueFalse

resolveTrueFalse'

findUnit

findUnit'

isRemoveable

findSimilarAtomUnits

resolveSimilarAtomUnits'

resolveSimilarAtomUnits

substituteSimilarUnits

findPureLiteral

resolvePureLiteral

countElems

countElems2

findBestLiteral

isXinAtom

showLiteral

showSet

showXin

atomToTupel

elem'

elem1

elem''

lookup'

setToInt