[Javabdd-checkins] JavaBDD/org/sf/javabdd BDDDomain.java,1.15,1.16

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

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

Modified Files:
	BDDDomain.java 
Log Message:
Tabs are evil.

Index: BDDDomain.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/BDDDomain.java,v
retrieving revision 1.15
retrieving revision 1.16
diff -C2 -d -r1.15 -r1.16
*** BDDDomain.java	28 Apr 2004 17:42:03 -0000	1.15
--- BDDDomain.java	24 Jun 2004 08:58:56 -0000	1.16
***************
*** 324,328 ****
       */
      public long [] getVarIndices(BDD bdd, int max) {
! 	BDD myvarset = set();	// can't use var here, must respect subclass a factory may provide
          int n = (int)bdd.satCount(myvarset);
          if (max != -1 && n > max)
--- 324,328 ----
       */
      public long [] getVarIndices(BDD bdd, int max) {
!         BDD myvarset = set(); // can't use var here, must respect subclass a factory may provide
          int n = (int)bdd.satCount(myvarset);
          if (max != -1 && n > max)
***************
*** 334,338 ****
              res[i] = bi.scanVar(this);
          }
! 	myvarset.free();
          return res;
      }
--- 334,338 ----
              res[i] = bi.scanVar(this);
          }
!         myvarset.free();
          return res;
      }