[Javabdd-checkins] JavaBDD/buddy/src bddio.c,1.3,1.4

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

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

Modified Files:
	bddio.c 
Log Message:
Updates to buddy to support small (4 word) BDD nodes.

Index: bddio.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy/src/bddio.c,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** bddio.c	1 Oct 2004 02:17:20 -0000	1.3
--- bddio.c	31 Jan 2005 10:02:20 -0000	1.4
***************
*** 131,135 ****
     for (n=0 ; n<bddnodesize ; n++)
     {
!       if (LOW(n) != -1)
        {
  	 fprintf(ofile, "[%5d - %2d] ", n, REF(n));
--- 131,135 ----
     for (n=0 ; n<bddnodesize ; n++)
     {
!       if (LOW(n) != INVALID_BDD)
        {
  	 fprintf(ofile, "[%5d - %2d] ", n, REF(n));