[Javabdd-checkins] JavaBDD/buddy/src reorder.c,1.7,1.8

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

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

Modified Files:
	reorder.c 
Log Message:
Fix stupid bug.

Index: reorder.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy/src/reorder.c,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** reorder.c	31 Jan 2005 10:04:59 -0000	1.7
--- reorder.c	31 Jan 2005 12:04:16 -0000	1.8
***************
*** 59,64 ****
                  (((p)->high_hlev & LEV_HMASK) >> (LEV_HPOS-LEV_LBITS)))
  #define SETVARp(p,v) { \
! 	(p)->low_llev = ((v) << LEV_LPOS) | ((p)->low_llev & ~NODE_MASK); \
! 	(p)->high_hlev = (((v) << (LEV_HPOS-LEV_LBITS)) & LEV_HMASK) | ((p)->high_hlev & ~NODE_MASK); \
  	}
  #else
--- 59,64 ----
                  (((p)->high_hlev & LEV_HMASK) >> (LEV_HPOS-LEV_LBITS)))
  #define SETVARp(p,v) { \
! 	(p)->low_llev = ((v) << LEV_LPOS) | ((p)->low_llev & NODE_MASK); \
! 	(p)->high_hlev = (((v) << (LEV_HPOS-LEV_LBITS)) & LEV_HMASK) | ((p)->high_hlev & NODE_MASK); \
  	}
  #else
***************
*** 894,898 ****
        SETVARp(&bddnodes[n], v);
        
!       if (REF(n) > 0)
        {
  	 SETMARK(n);
--- 894,898 ----
        SETVARp(&bddnodes[n], v);
        
!       if (HASREF(n))
        {
  	 SETMARK(n);
***************
*** 1117,1121 ****
     SETLOWp(node, low);
     SETHIGHp(node, high);
! 
        /* Insert node in hash chain */
     SETNEXTp(node, HASH(hash));
--- 1117,1121 ----
     SETLOWp(node, low);
     SETHIGHp(node, high);
! 	 
        /* Insert node in hash chain */
     SETNEXTp(node, HASH(hash));