[Javabdd-checkins] JavaBDD/org/sf/javabdd TypedBDDFactory.java,1.16,1.17

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

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

Modified Files:
	TypedBDDFactory.java 
Log Message:


Index: TypedBDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/TypedBDDFactory.java,v
retrieving revision 1.16
retrieving revision 1.17
diff -C2 -d -r1.16 -r1.17
*** TypedBDDFactory.java	11 Jul 2004 11:47:14 -0000	1.16
--- TypedBDDFactory.java	2 Aug 2004 20:01:45 -0000	1.17
***************
*** 420,424 ****
      };
      
!     public class TypedBDD extends BDD {
          
          final BDD bdd;
--- 420,424 ----
      };
      
!     class TypedBDD extends BDD {
          
          final BDD bdd;
***************
*** 1081,1085 ****
      }
      
!     class TypedBDDPairing extends BDDPairing {
  
          final Map domMap;
--- 1081,1085 ----
      }
      
!     static class TypedBDDPairing extends BDDPairing {
  
          final Map domMap;