Commit 68baf038 by Alan Mishchenko

Another attempt to make CUDD platform- and runtime-independent.

parent 780321cf
...@@ -259,7 +259,7 @@ cuddBddAndAbstractRecur( ...@@ -259,7 +259,7 @@ cuddBddAndAbstractRecur(
} }
} }
if ( manager->TimeStop && manager->TimeStop < clock() ) if ( manager->TimeStop && manager->TimeStop < time(NULL) )
return NULL; return NULL;
if (topf == top) { if (topf == top) {
......
...@@ -926,7 +926,7 @@ cuddBddAndRecur( ...@@ -926,7 +926,7 @@ cuddBddAndRecur(
if (r != NULL) return(r); if (r != NULL) return(r);
} }
if ( manager->TimeStop && manager->TimeStop < clock() ) if ( manager->TimeStop && manager->TimeStop < time(NULL) )
return NULL; return NULL;
/* Here we can skip the use of cuddI, because the operands are known /* Here we can skip the use of cuddI, because the operands are known
......
...@@ -976,9 +976,9 @@ cuddBddTransferRecur( ...@@ -976,9 +976,9 @@ cuddBddTransferRecur(
if (st_lookup(table, (const char *)f, (char **)&res)) if (st_lookup(table, (const char *)f, (char **)&res))
return(Cudd_NotCond(res,comple)); return(Cudd_NotCond(res,comple));
if ( ddS->TimeStop && ddS->TimeStop < clock() ) if ( ddS->TimeStop && ddS->TimeStop < time(NULL) )
return NULL; return NULL;
if ( ddD->TimeStop && ddD->TimeStop < clock() ) if ( ddD->TimeStop && ddD->TimeStop < time(NULL) )
return NULL; return NULL;
/* Recursive step. */ /* Recursive step. */
......
...@@ -1251,7 +1251,7 @@ cuddBddVarMapRecur( ...@@ -1251,7 +1251,7 @@ cuddBddVarMapRecur(
return(Cudd_NotCond(res,F != f)); return(Cudd_NotCond(res,F != f));
} }
if ( manager->TimeStop && manager->TimeStop < clock() ) if ( manager->TimeStop && manager->TimeStop < time(NULL) )
return NULL; return NULL;
/* Split and recur on children of this node. */ /* Split and recur on children of this node. */
......
...@@ -367,7 +367,7 @@ cuddSymmSifting( ...@@ -367,7 +367,7 @@ cuddSymmSifting(
if (ddTotalNumberSwapping >= table->siftMaxSwap) if (ddTotalNumberSwapping >= table->siftMaxSwap)
break; break;
// enable timeout during variable reodering - alanmi 2/13/11 // enable timeout during variable reodering - alanmi 2/13/11
if ( table->TimeStop && table->TimeStop < clock() ) if ( table->TimeStop && table->TimeStop < time(NULL) )
break; break;
x = table->perm[var[i]]; x = table->perm[var[i]];
#ifdef DD_STATS #ifdef DD_STATS
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment