[Javabdd-checkins] JavaBDD/buddy/src bddop.c,1.10,1.11

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

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

Modified Files:
	bddop.c 
Log Message:
Fixed bug found by Mayur. Support set size was not being reset correctly.

Index: bddop.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy/src/bddop.c,v
retrieving revision 1.10
retrieving revision 1.11
diff -C2 -d -r1.10 -r1.11
*** bddop.c	31 Jan 2005 12:03:34 -0000	1.10
--- bddop.c	9 May 2005 01:40:21 -0000	1.11
***************
*** 102,105 ****
--- 102,106 ----
  static int supportMax;              /* Max. used level in support calc. */
  static int* supportSet;             /* The found support set */
+ static int supportSize;             /* Size of support set */
  static BddCache4 applycache;        /* Cache for apply results */
  static BddCache4 itecache;          /* Cache for ITE results */
***************
*** 244,247 ****
--- 245,249 ----
     cacheratio = 0;
     supportSet = NULL;
+    supportSize = 0;
     
     return 0;
***************
*** 273,276 ****
--- 275,279 ----
       free(supportSet);
     supportSet = NULL;
+    supportSize = 0;
  }
  
***************
*** 2958,2962 ****
  BDD bdd_support(BDD r)
  {
-    static int  supportSize = 0;
     int n;
     int res=1;
--- 2961,2964 ----