Get rid of unused variable warnings.

Author: dhendriks

src/main/java/com/github/javabdd/BDDFactory.java

@@ -223,15 +223,15 @@ public BDDVarSet emptySet() {
     public BDD buildCube(int value, List/*<BDD>*/ variables) {
         BDD result = universe();
         Iterator i = variables.iterator();
-        int z = 0;
+        //int z = 0;
         while (i.hasNext()) {
             BDD var = (BDD) i.next();
             if ((value & 0x1) != 0)
                 var = var.id();
             else
                 var = var.not();
             result.andWith(var);
-            ++z;
+            //++z;
             value >>= 1;
         }
         return result;

src/main/java/com/github/javabdd/JFactory.java

@@ -375,7 +375,7 @@ public void setVarOrder(String ordering) {
         StringTokenizer st = new StringTokenizer(ordering, "x_", true);
         boolean[] done = new boolean[nDomains];
         List last = null;
-        for (int i=0; ; ++i) {
+        for (/*int i=0*/; ; /*++i*/) {
             String s = st.nextToken();
             BDDDomain d;
             for (int j=0; ; ++j) {
@@ -4906,7 +4906,7 @@ void blockdown(BddTree left) {
     BddTree reorder_win2ite(BddTree t) {
         BddTree dis, first = t;
         int lastsize;
-        int c = 1;
+        //int c = 1;
 
         if (t == null)
             return t;
@@ -4937,7 +4937,7 @@ BddTree reorder_win2ite(BddTree t) {
 
             if (verbose > 1)
                 System.out.println(" " + reorder_nodenum() + " nodes");
-            c++;
+            //c++;
         }
         while (reorder_nodenum() != lastsize);
 

src/main/java/com/github/javabdd/MicroFactory.java

@@ -4495,7 +4495,6 @@ void blockdown(BddTree left) {
     BddTree reorder_win2ite(BddTree t) {
         BddTree dis, first = t;
         int lastsize;
-        int c = 1;
 
         if (t == null)
             return t;
@@ -4526,7 +4525,6 @@ BddTree reorder_win2ite(BddTree t) {
 
             if (verbose > 1)
                 System.out.println(" " + reorder_nodenum() + " nodes");
-            c++;
         }
         while (reorder_nodenum() != lastsize);
 

src/main/java/com/github/javabdd/TestBDDFactory.java

@@ -949,7 +949,7 @@ public int varNum() {
      */
     public int setVarNum(int num) {
         int r1 = f1.setVarNum(num);
-        int r2 = f2.setVarNum(num);
+        //int r2 = f2.setVarNum(num);
         // assertSame(r1 == r2, "setVarNum");
         return r1;
     }