From 100929bac561d7316e9b8fb1b102fec298ee5a94 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 2 May 2012 16:39:38 +0200
Subject: [PATCH] handling 1 and -1 in eval
---
testcases/SatFun.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/testcases/SatFun.scala b/testcases/SatFun.scala
index fcef089f5..410f37557 100644
--- a/testcases/SatFun.scala
+++ b/testcases/SatFun.scala
@@ -18,7 +18,7 @@ object SatFun {
case class ClauseLit(value: Boolean) extends ClauseList
def eval(formula: Formula, trueVars: Set[Int]): Boolean = formula match {
- case Var(n) => trueVars.contains(n)
+ case Var(n) => if(n == 1) true else if(n == -1) false else trueVars.contains(n)
case Not(f) => !eval(f, trueVars)
case And(f1, f2) => eval(f1, trueVars) && eval(f2, trueVars)
case Or(f1, f2) => eval(f1, trueVars) || eval(f2, trueVars)
--
GitLab