[Javabdd-checkins] JavaBDD/org/sf/javabdd JavaFactory.java,1.17,1.18 JFactory.java,1.1,1.2 CALFactory.java,1.2,1.3

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD/org/sf/javabdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv20433/org/sf/javabdd

Modified Files:
	JavaFactory.java JFactory.java CALFactory.java 
Log Message:


Index: JavaFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/JavaFactory.java,v
retrieving revision 1.17
retrieving revision 1.18
diff -C2 -d -r1.17 -r1.18
*** JavaFactory.java	11 Jul 2004 11:47:14 -0000	1.17
--- JavaFactory.java	22 Jul 2004 20:03:53 -0000	1.18
***************
*** 2003,2007 ****
  
          if (r < 2)
!             return bddfalse;
  
          /* On-demand allocation of support set */
--- 2003,2007 ----
  
          if (r < 2)
!             return bddtrue;
  
          /* On-demand allocation of support set */

Index: JFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/JFactory.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** JFactory.java	20 Jul 2004 21:48:28 -0000	1.1
--- JFactory.java	22 Jul 2004 20:03:59 -0000	1.2
***************
*** 2005,2009 ****
  
          if (r < 2)
!             return bddfalse;
  
          /* On-demand allocation of support set */
--- 2005,2009 ----
  
          if (r < 2)
!             return bddtrue;
  
          /* On-demand allocation of support set */

Index: CALFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/CALFactory.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** CALFactory.java	11 Jul 2004 11:47:14 -0000	1.2
--- CALFactory.java	22 Jul 2004 20:03:59 -0000	1.3
***************
*** 212,231 ****
  
      /* (non-Javadoc)
-      * @see org.sf.javabdd.BDDFactory#load(java.lang.String)
-      */
-     public BDD load(String filename) {
-         // TODO Implement this.
-         throw new UnsupportedOperationException();
-     }
- 
-     /* (non-Javadoc)
-      * @see org.sf.javabdd.BDDFactory#save(java.lang.String, org.sf.javabdd.BDD)
-      */
-     public void save(String filename, BDD var) {
-         // TODO Implement this.
-         throw new UnsupportedOperationException();
-     }
- 
-     /* (non-Javadoc)
       * @see org.sf.javabdd.BDDFactory#level2Var(int)
       */
--- 212,215 ----