Verwendung von "Literal" in der Code-Basis

[jvoigtlaender]

... ist nicht durchgehend konsistent.

Manchmal wird es im Sinne von "atomare Formel oder deren Negation" verwendet, manchmal für "atomare Formel".

In der Vorlesung ist A eine atomare Formel und sowohl A also auch ~A sind Literale.

Eine Stelle, an der die Unstimmigkeit an die Nutzenden leaked, ist:

logic-tasks/src/Config.hs

Lines 248 to 251 in 5e374e3

	data BaseConfig = BaseConfig
	{ minClauseLength :: Int
	, maxClauseLength :: Int
	, usedLiterals :: String

Aus Sicht der Vorlesung müsste hier usedAtoms statt usedLiterals stehen.

Vielleicht gibt es noch weitere "Leaks".