[Javabdd-checkins] JavaBDD/net/sf/javabdd BDD.java,1.3,1.4

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD/net/sf/javabdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv25787/net/sf/javabdd

Modified Files:
	BDD.java 
Log Message:
More debugging info.

Index: BDD.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDD.java,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** BDD.java	19 Jan 2005 23:50:21 -0000	1.3
--- BDD.java	26 Jan 2005 23:40:37 -0000	1.4
***************
*** 772,780 ****
                      sb.append("BDD contains variable ");
                      sb.append(factory.level2Var(v));
!                     sb.append(" not in iteration set: ");
                      for (int k = 0; k < levels.length; ++k) {
                          sb.append(factory.level2Var(k));
!                         if (k < levels.length) sb.append(",");
                      }
                      throw new BDDException(sb.toString());
                  }
--- 772,788 ----
                      sb.append("BDD contains variable ");
                      sb.append(factory.level2Var(v));
!                     sb.append("(level ");
!                     sb.append(v);
!                     sb.append(") not in iteration set:\n");
                      for (int k = 0; k < levels.length; ++k) {
                          sb.append(factory.level2Var(k));
!                         if (k < levels.length-1) sb.append(",");
                      }
+                     sb.append("\n(levels: ");
+                     for (int k = 0; k < levels.length; ++k) {
+                         sb.append(k);
+                         if (k < levels.length-1) sb.append(",");
+                     }
+                     sb.append(")\n");
                      throw new BDDException(sb.toString());
                  }