[Javabdd-checkins] JavaBDD jdd.jar,1.3,1.4

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

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

Modified Files:
	jdd.jar 
Log Message:
Changed node table grow() to be more aggressive.

Index: jdd.jar
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/jdd.jar,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
Binary files /tmp/cvsyqlODU and /tmp/cvspmSsOe differ