[Javabdd-checkins] JavaBDD/buddy/src bddop.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-serv19376/buddy/src

Modified Files:
	bddop.c 
Log Message:
Make it C compatible.

Index: bddop.c
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/buddy/src/bddop.c,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** bddop.c	14 Oct 2004 23:03:00 -0000	1.7
--- bddop.c	17 Nov 2004 23:03:43 -0000	1.8
***************
*** 487,493 ****
  {
     BDD res;
-    firstReorder = 1;
     BUDDY_PROLOGUE;
     ADD_ARG1(T_BDD,r);
     CHECKa(r, bddfalse);
  
--- 487,493 ----
  {
     BDD res;
     BUDDY_PROLOGUE;
     ADD_ARG1(T_BDD,r);
+    firstReorder = 1;
     CHECKa(r, bddfalse);
  
***************
*** 596,604 ****
  {
     BDD res;
-    firstReorder = 1;
     BUDDY_PROLOGUE;
     ADD_ARG1(T_BDD,l);
     ADD_ARG1(T_BDD,r);
     ADD_ARG1(T_INT,op);
     
     CHECKa(l, bddfalse);
--- 596,604 ----
  {
     BDD res;
     BUDDY_PROLOGUE;
     ADD_ARG1(T_BDD,l);
     ADD_ARG1(T_BDD,r);
     ADD_ARG1(T_INT,op);
+    firstReorder = 1;
     
     CHECKa(l, bddfalse);
***************
*** 1130,1134 ****
  {
     BDD res;
-    firstReorder = 1;
  
     BUDDY_PROLOGUE;
--- 1130,1133 ----
***************
*** 1137,1140 ****
--- 1136,1141 ----
     ADD_ARG1(T_BDD,h);
     
+    firstReorder = 1;
+ 
     CHECKa(f, bddfalse);
     CHECKa(g, bddfalse);
***************
*** 1309,1313 ****
  {
     BDD res;
-    firstReorder = 1;
  
     BUDDY_PROLOGUE;
--- 1310,1313 ----
***************
*** 1315,1318 ****
--- 1315,1320 ----
     ADD_ARG1(T_BDD,var);
     
+    firstReorder = 1;
+ 
     CHECKa(r,bddfalse);
     CHECKa(var,bddfalse);
***************
*** 1411,1415 ****
  {
     BDD res;
-    firstReorder = 1;
  
     BUDDY_PROLOGUE;
--- 1413,1416 ----
***************
*** 1417,1420 ****
--- 1418,1423 ----
     ADD_ARG1(T_BDD,c);
     
+    firstReorder = 1;
+ 
     CHECKa(f,bddfalse);
     CHECKa(c,bddfalse);
***************
*** 1539,1543 ****
  {
     BDD res;
-    firstReorder = 1;
  
     BUDDY_PROLOGUE;
--- 1542,1545 ----
***************
*** 1545,1548 ****
--- 1547,1552 ----
     ADD_ARG1(T_BDD_PAIR,pair);
     
+    firstReorder = 1;
+ 
     CHECKa(r, bddfalse);
     
***************
*** 1665,1669 ****
  {
     BDD res;
-    firstReorder = 1;
  
     BUDDY_PROLOGUE;
--- 1669,1672 ----
***************
*** 1672,1675 ****
--- 1675,1680 ----
     ADD_ARG1(T_INT,var);
     
+    firstReorder = 1;
+ 
     CHECKa(f, bddfalse);
     CHECKa(g, bddfalse);
***************
*** 1793,1797 ****
  {
     BDD res;
-    firstReorder = 1;
  
     BUDDY_PROLOGUE;
--- 1798,1801 ----
***************
*** 1799,1802 ****
--- 1803,1807 ----
     ADD_ARG1(T_BDD_PAIR,pair);
  
+    firstReorder = 1;
     
     CHECKa(f, bddfalse);
***************
*** 1887,1891 ****
  {
     BDD res;
-    firstReorder = 1;
  
     BUDDY_PROLOGUE;
--- 1892,1895 ----
***************
*** 1893,1896 ****
--- 1897,1902 ----
     ADD_ARG1(T_BDD,d);
     
+    firstReorder = 1;
+ 
     CHECKa(f, bddfalse);
     CHECKa(d, bddfalse);
***************
*** 2012,2016 ****
  {
     BDD res;
-    firstReorder = 1;
  
     BUDDY_PROLOGUE;
--- 2018,2021 ----
***************
*** 2018,2021 ****
--- 2023,2028 ----
     ADD_ARG1(T_BDD,var);
     
+    firstReorder = 1;
+ 
     CHECKa(r, bddfalse);
     CHECKa(var, bddfalse);
***************
*** 2070,2074 ****
  {
     BDD res;
-    firstReorder = 1;
  
     BUDDY_PROLOGUE;
--- 2077,2080 ----
***************
*** 2076,2079 ****
--- 2082,2087 ----
     ADD_ARG1(T_BDD,var);
     
+    firstReorder = 1;
+ 
     CHECKa(r, bddfalse);
     CHECKa(var, bddfalse);
***************
*** 2131,2135 ****
  {
     BDD res;
-    firstReorder = 1;
  
     BUDDY_PROLOGUE;
--- 2139,2142 ----
***************
*** 2137,2140 ****
--- 2144,2149 ----
     ADD_ARG1(T_BDD,var);
     
+    firstReorder = 1;
+ 
     CHECKa(r, bddfalse);
     CHECKa(var, bddfalse);
***************
*** 2238,2242 ****
  {
     BDD res;
-    firstReorder = 1;
  
     BUDDY_PROLOGUE;
--- 2247,2250 ----
***************
*** 2246,2249 ****
--- 2254,2259 ----
     ADD_ARG1(T_BDD,var);
     
+    firstReorder = 1;
+ 
     CHECKa(l, bddfalse);
     CHECKa(r, bddfalse);
***************
*** 2312,2316 ****
  {
     BDD res;
-    firstReorder = 1;
  
     BUDDY_PROLOGUE;
--- 2322,2325 ----
***************
*** 2320,2323 ****
--- 2329,2334 ----
     ADD_ARG1(T_BDD,var);
     
+    firstReorder = 1;
+ 
     CHECKa(l, bddfalse);
     CHECKa(r, bddfalse);
***************
*** 2387,2391 ****
  {
     BDD res;
-    firstReorder = 1;
  
     BUDDY_PROLOGUE;
--- 2398,2401 ----
***************
*** 2395,2398 ****
--- 2405,2410 ----
     ADD_ARG1(T_BDD,var);
     
+    firstReorder = 1;
+ 
     CHECKa(l, bddfalse);
     CHECKa(r, bddfalse);