[Javabdd-checkins] JavaBDD_tests/bdd BDDTestCase.java,1.4,1.5

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

Update of /cvsroot/javabdd/JavaBDD_tests/bdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv31620/bdd

Modified Files:
	BDDTestCase.java 
Log Message:
Added new microBDD factory: each BDD node is only 4 words.

Index: BDDTestCase.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD_tests/bdd/BDDTestCase.java,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** BDDTestCase.java	19 Oct 2004 11:46:29 -0000	1.4
--- BDDTestCase.java	30 Jan 2005 14:43:40 -0000	1.5
***************
*** 22,25 ****
--- 22,26 ----
          "net.sf.javabdd.BuDDyFactory",
          "net.sf.javabdd.JFactory",
+         "net.sf.javabdd.MicroFactory",
          //"net.sf.javabdd.CUDDFactory",
          //"net.sf.javabdd.CALFactory",