[Javabdd-checkins] JavaBDD/org/sf/javabdd JavaFactory.java,1.16,1.17 CALFactory.java,1.1,1.2 TypedBDDFactory.java,1.15,1.16 TestBDDFactory.java,1.7,1.8

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

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

Modified Files:
	JavaFactory.java CALFactory.java TypedBDDFactory.java 
	TestBDDFactory.java 
Log Message:
Fix constructors.

Index: JavaFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/JavaFactory.java,v
retrieving revision 1.16
retrieving revision 1.17
diff -C2 -d -r1.16 -r1.17
*** JavaFactory.java	9 Jul 2004 02:14:03 -0000	1.16
--- JavaFactory.java	11 Jul 2004 11:47:14 -0000	1.17
***************
*** 30,33 ****
--- 30,35 ----
      static final boolean VERIFY_ASSERTIONS = false;
      
+     private JavaFactory() { }
+     
      /* (non-Javadoc)
       * @see org.sf.javabdd.BDDFactory#init(int, int)

Index: TestBDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/TestBDDFactory.java,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** TestBDDFactory.java	1 Nov 2003 06:19:07 -0000	1.7
--- TestBDDFactory.java	11 Jul 2004 11:47:14 -0000	1.8
***************
*** 24,28 ****
      BDDFactory f1, f2;
  
!     TestBDDFactory(BDDFactory a, BDDFactory b) {
          f1 = a; f2 = b;
      }
--- 24,28 ----
      BDDFactory f1, f2;
  
!     public TestBDDFactory(BDDFactory a, BDDFactory b) {
          f1 = a; f2 = b;
      }

Index: CALFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/CALFactory.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** CALFactory.java	1 Dec 2003 04:07:10 -0000	1.1
--- CALFactory.java	11 Jul 2004 11:47:14 -0000	1.2
***************
*** 1,904 ****
! /*
!  * CALFactory.java
!  * 
!  * Created on Mar 24, 2003
!  *
!  */
! package org.sf.javabdd;
! 
! import java.util.Collection;
! import java.util.List;
[...1779 lines suppressed...]
!             for (int j=0; j<ivar.length; ++j) {
!                 System.out.print(' ');
!                 System.out.print(j);
!                 System.out.print(':');
!                 System.out.print(ivar[j]);
!             }
!             System.out.println();
!         }
!         
!         BDDPairing p = bdd.makePair(doms[2], doms[doms.length-1]);
!         System.out.println("Pairing: "+p);
!         
!         System.out.println("Before replace(): "+b);
!         BDD c = b.replace(p);
!         System.out.println("After replace(): "+c);
!         
!         c.printDot();
!     }
! 
! }

Index: TypedBDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/TypedBDDFactory.java,v
retrieving revision 1.15
retrieving revision 1.16
diff -C2 -d -r1.15 -r1.16
*** TypedBDDFactory.java	16 Mar 2004 06:27:33 -0000	1.15
--- TypedBDDFactory.java	11 Jul 2004 11:47:14 -0000	1.16
***************
*** 32,36 ****
      BDDFactory factory;
      
!     TypedBDDFactory(BDDFactory f) {
          this.factory = f;
      }
--- 32,36 ----
      BDDFactory factory;
      
!     public TypedBDDFactory(BDDFactory f) {
          this.factory = f;
      }