Fixes from review

Author: magoorden

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

@@ -1268,6 +1268,21 @@ public void enableMeasurements() {
         	enabled = true;
         }
 
+        public void disableMeasurements() {
+            enabled = false;
+        }
+        
+        public void resetMeasurements() {
+            uniqueAccess = 0;
+            uniqueChain = 0;
+            uniqueHit = 0;
+            uniqueMiss = 0;
+            opAccess = 0;
+            opHit = 0;
+            opMiss = 0;
+            swapCount = 0;
+        }
+        
         /* (non-Javadoc)
          * @see java.lang.Object#toString()
          */
@@ -1359,11 +1374,15 @@ public void disableMeasurements() {
             enabled = false;
         }
 
+        public void resetMeasurements() {
+            maxUsedBddNodes = 0;
+        }
+        
         public void newMeasurement(int newUsedBddNodes) {
             maxUsedBddNodes = Math.max(newUsedBddNodes, maxUsedBddNodes);
         }
 
-        public int getMaxUsedNodes() {
+        public int getMaxUsedBddNodes() {
         	return maxUsedBddNodes;
         }
     }
@@ -1376,7 +1395,7 @@ public int getMaxUsedNodes() {
     /**
      * <p>Return the current maximum used BDD nodes statistics for this BDD factory.</p>
      *
-     * @return  maximum used BDD statistics
+     * @return  maximum used BDD nodes statistics
      */
     public MaxUsedBddNodesStats getMaxUsedBddNodesStats() {
         return maxusedbddnodesstats;
@@ -1403,6 +1422,11 @@ public void disableMeasurements() {
             enabled = false;
         }
 
+        public void resetMeasurements() {
+            contUsedBddNodes = new ArrayList<Integer>();
+            contOperations = new ArrayList<Long>();
+        }
+        
         public List<Integer> getNodesStats() {
             if (contUsedBddNodes.size() != contOperations.size()) {
                 throw new AssertionError("Incorrect data collection.");
@@ -1428,7 +1452,7 @@ public List<Long> getOperationsStats() {
      *
      * @return  continuous statistics
      */
-    public ContinuousStats getContinousStats() {
+    public ContinuousStats getContinuousStats() {
         return continuousstats;
     }
 

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

@@ -3513,7 +3513,7 @@ int bdd_used_nodes_count() {
     }
 
     int bdd_delref(int root) {
-        bdd_add_per_stats();
+        bdd_add_perf_stats();
 
         if (root == INVALID_BDD)
             bdd_error(BDD_BREAK); /* distinctive */
@@ -5042,13 +5042,13 @@ int bdd_reorder_gain() {
     }
 
     public void done() { 
-        bdd_add_per_stats();
+        bdd_add_perf_stats();
 
         super.done(); 
         bdd_done(); 
     }
 
-    void bdd_add_per_stats() {
+    void bdd_add_perf_stats() {
         // The number of currently used BDD nodes, between 0 and bddnodesize.
         // -1 indicates that it has not yet been calculated.
         int usedBddNodes = -1;