[Javabdd-checkins] JavaBDD/buddy/src bddop.c,1.8,1.9

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

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

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

Index: bddop.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy/src/bddop.c,v
retrieving revision 1.8
retrieving revision 1.9
diff -C2 -d -r1.8 -r1.9
*** bddop.c	17 Nov 2004 23:03:43 -0000	1.8
--- bddop.c	31 Jan 2005 10:02:43 -0000	1.9
***************
*** 2910,2914 ****
  
     node = &bddnodes[r];
!    if (MARKEDp(node)  ||  LOWp(node) == -1)
        return;
  
--- 2910,2914 ----
  
     node = &bddnodes[r];
!    if (MARKEDp(node)  ||  LOWp(node) == INVALID_BDD)
        return;