From 3d739eb781438e9341b2cfb56b7f999804058b9c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 2 May 2012 16:37:15 +0200
Subject: [PATCH] fix bug in eval DNF and CNF
---
testcases/SatFun.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/testcases/SatFun.scala b/testcases/SatFun.scala
index 063312f81..fcef089f5 100644
--- a/testcases/SatFun.scala
+++ b/testcases/SatFun.scala
@@ -26,12 +26,12 @@ object SatFun {
def evalCnf(clauses: ClauseList, trueVars: Set[Int]): Boolean = clauses match {
case ClauseCons(cl, cls) => evalClauseCnf(cl, trueVars) && evalCnf(cls, trueVars)
- case ClauseNil() => false
+ case ClauseNil() => true
case ClauseLit(b) => b
}
def evalDnf(clauses: ClauseList, trueVars: Set[Int]): Boolean = clauses match {
case ClauseCons(cl, cls) => evalClauseDnf(cl, trueVars) || evalDnf(cls, trueVars)
- case ClauseNil() => true
+ case ClauseNil() => false
case ClauseLit(b) => b
}
def evalClauseCnf(clause: VarList, trueVars: Set[Int]): Boolean = clause match {
--
GitLab