瀏覽代碼

Simplify conflict checking

Samuel W. Flint 4 年之前
父節點
當前提交
3461cf51e3
共有 1 個文件被更改,包括 1 次插入2 次删除
  1. 1 2
      symbolic-sat.org

+ 1 - 2
symbolic-sat.org

@@ -549,8 +549,7 @@ An expression's "branchiness" is a value that (generally) is in the range \([-1,
           (expr-list-prime (rest expr-list) (rest expr-list-prime)))
          ((or (has-conflict-p expr path)
              (null expr))
-          (when (not (null expr))
-            t))))
+          (not (null expr)))))
 #+END_SRC
 
 ** TODO Clause Adding