diff --git a/source-code/Pseudocode/DPLL/DPLL.png b/source-code/Pseudocode/DPLL/DPLL.png index f04f6b8..35f7221 100644 Binary files a/source-code/Pseudocode/DPLL/DPLL.png and b/source-code/Pseudocode/DPLL/DPLL.png differ diff --git a/source-code/Pseudocode/DPLL/DPLL.tex b/source-code/Pseudocode/DPLL/DPLL.tex index d011b5f..c6d0f07 100644 --- a/source-code/Pseudocode/DPLL/DPLL.tex +++ b/source-code/Pseudocode/DPLL/DPLL.tex @@ -38,6 +38,8 @@ \LineComment{Ein reines Literal ist eines, das in jeder Klausel} \LineComment{immer wahr bzw. immer falsch ist} + \LineComment{Dieser Schritt ist der Grund,} + \LineComment{warum DPLL nicht immer alle Lösungen findet} \State $P, Wert \gets \Call{FindeReinesLiteral}{K, M}$ \If{$P$ existiert} \State $M \gets \Call{SetzePInModell}{P, Wert, M}$