[Javabdd-checkins] SF.net SVN: javabdd:[483] trunk/JavaBDD/net/sf/javabdd/CUDDFactory.java

[<rob...@us...>]

Revision: 483
          http://javabdd.svn.sourceforge.net/javabdd/?rev=483&view=rev
Author:   robimalik
Date:     2011-11-24 20:02:15 +0000 (Thu, 24 Nov 2011)
Log Message:
-----------
MODIFY
  No longer try to implement setCacheRatio() for CUDD.

Modified Paths:
--------------
    trunk/JavaBDD/net/sf/javabdd/CUDDFactory.java

Modified: trunk/JavaBDD/net/sf/javabdd/CUDDFactory.java
===================================================================
--- trunk/JavaBDD/net/sf/javabdd/CUDDFactory.java	2011-02-18 14:54:24 UTC (rev 482)
+++ trunk/JavaBDD/net/sf/javabdd/CUDDFactory.java	2011-11-24 20:02:15 UTC (rev 483)
@@ -174,9 +174,9 @@
      * @see net.sf.javabdd.BDDFactory#setCacheRatio(double)
      */
     public double setCacheRatio(double x) {
-        // TODO Implement this.
-        System.err.println("Warning: setCacheRatio() not yet implemented");
-        return 0;
+        // Cache size is determined automatically by CUDD.
+        // System.err.println("Warning: setCacheRatio() not yet implemented");
+        return 1.0;
     }
 
     /* (non-Javadoc)

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.