[Javabdd-checkins] JavaBDD/net/sf/javabdd BDDDomain.java,1.9,1.10

[Christopher U. <cu...@us...>]

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

Modified Files:
	BDDDomain.java 
Log Message:
domain resizing doesn't really work.  throw an exception when it would be needed.

Index: BDDDomain.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDDDomain.java,v
retrieving revision 1.9
retrieving revision 1.10
diff -C2 -d -r1.9 -r1.10
*** BDDDomain.java	21 May 2005 10:15:07 -0000	1.9
--- BDDDomain.java	12 Jul 2005 01:35:30 -0000	1.10
***************
*** 316,319 ****
--- 316,322 ----
          if (ivar.length == binsize) return binsize;
          
+         if (true) {
+             throw new BDDException("Can't add bits to domains, requested domain "+name+" upper limit "+range);
+         }
          int[] new_ivar = new int[binsize];
          System.arraycopy(ivar, 0, new_ivar, 0, ivar.length);