#5 Removed BDDFactory.save_rec_orginal. Method is unused.

Author: dhendriks

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

@@ -21,7 +21,6 @@
 import java.util.Iterator;
 import java.util.LinkedList;
 import java.util.List;
-import java.util.Map;
 import java.util.StringTokenizer;
 
 /**
@@ -36,6 +35,7 @@
  */
 public abstract class BDDFactory {
     private static final boolean DEBUG = false;
+
     private static final boolean ASSERT_FILL_IN_VAR_INDICES = false;
 
     public static final String getProperty(String key, String def) {
@@ -827,40 +827,6 @@ public void save(BufferedWriter out, BDD r) throws IOException {
         // }
     }
 
-    /**
-     * Helper function for save().
-     */
-    protected int save_rec_original(BufferedWriter out, Map visited, BDD root) throws IOException {
-        if (root.isZero()) {
-            root.free();
-            return 0;
-        }
-        if (root.isOne()) {
-            root.free();
-            return 1;
-        }
-        Integer i = (Integer)visited.get(root);
-        if (i != null) {
-            root.free();
-            return i.intValue();
-        }
-        int v = visited.size() + 2;
-        visited.put(root, v);
-
-        BDD l = root.low();
-        int lo = save_rec_original(out, visited, l);
-
-        BDD h = root.high();
-        int hi = save_rec_original(out, visited, h);
-
-        out.write(v + " ");
-        out.write(root.var() + " ");
-        out.write(lo + " ");
-        out.write(hi + "\n");
-
-        return v;
-    }
-
     /**
      * Helper function for save().
      */