Remove memory measurements

Author: magoorden

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

@@ -1382,51 +1382,6 @@ public MaxUsedBddNodesStats getMaxUsedBddNodesStats() {
         return maxusedbddnodesstats;
     }
 
-    /**
-     * Stores statistics about the maximum memory usage.
-     * 
-     * @author mgoorden
-     */
-    public static class MaxUsedMemoryStats {
-        protected boolean enabled = false;
-        protected long maxUsedMemory;
-        
-        protected MaxUsedMemoryStats() { }
-        
-        public void enableMeasurements() {
-            enabled = true;
-        }
-        
-        public void disableMeasurements() {
-            enabled = false;
-        }
-        
-        public void newMeasurement(long newMemory) {
-            maxUsedMemory = Math.max(newMemory, maxUsedMemory);
-        }
-        
-        public long getMaxUsedMemory() {
-            return maxUsedMemory;
-        }
-    }
-    
-    /**
-     * Singleton object for maximum used memory statistics.
-     */
-    protected MaxUsedMemoryStats maxusedmemorystats = new MaxUsedMemoryStats();
-
-    /**
-     * <p>Return the current maximum used memory statistics for this BDD factory.</p>
-     * 
-     * <p>Note that measuring max used memory usages fluctuates over time, tool 
-     * implementation, used hardware, etc.</p>
-     *
-     * @return  maximum used memory statistics
-     */
-    public MaxUsedMemoryStats getMaxUsedMemoryStats() {
-        return maxusedmemorystats;
-    }
-    
     /**
      * Stores continuously statistics about the BDD nodes usage and BDD operations,
      * where BDD operations is a proxy for time.

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

@@ -5067,11 +5067,6 @@ void bdd_add_per_stats() {
             maxusedbddnodesstats.newMeasurement(usedBddNodes);
         }
 
-        if (maxusedmemorystats.enabled) {
-            long memory = Runtime.getRuntime().totalMemory() - Runtime.getRuntime().freeMemory();
-            maxusedmemorystats.newMeasurement(memory);
-        }
-        
         if (continuousstats.enabled) {
             if (usedBddNodes == -1) usedBddNodes = bdd_used_nodes_count();
             continuousstats.contUsedBddNodes.add(usedBddNodes);