[Javabdd-checkins] JavaBDD/org/sf/javabdd JDDFactory.java,1.1,1.2

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

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

Modified Files:
	JDDFactory.java 
Log Message:


Index: JDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/JDDFactory.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** JDDFactory.java	23 Jun 2004 04:13:06 -0000	1.1
--- JDDFactory.java	12 Jul 2004 07:08:58 -0000	1.2
***************
*** 15,21 ****
  
      private final jdd.bdd.BDD bdd;
!     private int[] vars;
!     private int[] level2var;
!     private int[] var2level;
      
      private JDDFactory(int nodenum, int cachesize) {
--- 15,21 ----
  
      private final jdd.bdd.BDD bdd;
!     private int[] vars; // indexed by EXTERNAL
!     private int[] level2var; // internal -> external
!     private int[] var2level; // external -> internal
      
      private JDDFactory(int nodenum, int cachesize) {
***************
*** 746,749 ****
--- 746,750 ----
              BDDDomain d = getDomain(i);
              d.var = makeSet(d.ivar);
+             //System.out.println("Set for domain "+d+": "+d.var.toStringWithDomains());
          }
      }