Fix NNF generation if explicit :ATOMs are used
authorUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 15:20:32 +0000 (22 17:20 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 15:20:32 +0000 (22 17:20 +0200)
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
satwrap.lisp

index 78da8bd..4b2f6fe 100644 (file)
@@ -286,7 +286,7 @@ Supports :IMPLY, :IFF, binary :XOR, and :NOR. "
                                                      (standard-tree->nnf `(:NOT ,c)))
                                                  (cdr subexpr))))
                           ;; `quoted' atom: keep
-                          (:ATOM subexpr)
+                          (:ATOM `(:NOT ,subexpr))
                           (otherwise `(:NOT ,subexpr)))
                         ;; non-quoted atom:
                         `(:NOT ,subexpr)))