[Javabdd-checkins] JavaBDD/buddy/src cppext.cxx,1.1.1.1,1.2

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

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

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

Index: cppext.cxx
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy/src/cppext.cxx,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -C2 -d -r1.1.1.1 -r1.2
*** cppext.cxx	29 Sep 2004 09:50:25 -0000	1.1.1.1
--- cppext.cxx	31 Jan 2005 10:02:53 -0000	1.2
***************
*** 335,339 ****
  	 const BddNode *node = &bddnodes[n];
  	 
! 	 if (LOWp(node) != -1)
  	 {
  	    o << "[" << setw(5) << n << "] ";
--- 335,339 ----
  	 const BddNode *node = &bddnodes[n];
  	 
! 	 if (LOWp(node) != INVALID_BDD)
  	 {
  	    o << "[" << setw(5) << n << "] ";