Mercurial > hg > Applications > JavaLite

changeset 54:9a03268c1443

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author kono
date Mon, 07 Jan 2008 08:40:10 +0900
parents bea547f744d7
children 99abe1d8fe69
files src/sbdd/SBDDTest.java
diffstat 1 files changed, 5 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/src/sbdd/SBDDTest.java	Mon Jan 07 01:15:00 2008 +0900
+++ b/src/sbdd/SBDDTest.java	Mon Jan 07 08:40:10 2008 +0900
@@ -15,7 +15,6 @@
 public class SBDDTest {
 
 
-
 	ITLNodeParser<ITLSolver> p;
 	ITLSatisfier sat;
 	SBDDFactory sf;
@@ -99,7 +98,11 @@
 			System.out.print(" "+sat.choicePoint()+" -> "+value);
 			if (value!=null) {
 				SBDDEntry e = state.getEntry(value);
-				if (!e.expanded) {
+				if (e.key==SBDDFactory.trueSolver||
+						e.key==SBDDFactory.falseSolver||
+						e.key==SBDDFactory.emptySolver) {
+					
+				} else 	if (!e.expanded) {
 					queue.add(e);
 					System.out.print("!");
 				} 
@@ -115,9 +118,6 @@
 		AllNext allNext = new AllNext();
 		queue.add(new SBDDEntry(n));
 		for(SBDDEntry e;(e = queue.poll())!=null; ) {
-			if (e.key==SBDDFactory.trueSolver||
-					e.key==SBDDFactory.falseSolver||
-					e.key==SBDDFactory.emptySolver) continue;
 			System.out.println(e.key+"->");
 			if (e.expanded) continue; // can't happen?
 			e.expanded = true;