Searched refs:secdiff (Results 26 – 34 of 34) sorted by relevance
12
| /dports/math/brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddZddGroup.c | 99 static int secdiff; variable
288 secdiff = 0; in cuddZddTreeSifting()
317 (void) fprintf(table->out,"secdiff = %d\n",secdiff); in cuddZddTreeSifting()
|
| H A D | cuddGroup.c | 126 static int secdiff; variable
300 secdiff = 0; in cuddTreeSifting()
330 (void) fprintf(table->out,"secdiff = %d\n",secdiff); in cuddTreeSifting()
1916 secdiff++; in ddSecDiffCheck()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
| H A D | cuddZddGroup.c | 103 static int secdiff; variable
292 secdiff = 0; in cuddZddTreeSifting()
321 (void) fprintf(table->out,"secdiff = %d\n",secdiff); in cuddZddTreeSifting()
|
| H A D | cuddGroup.c | 123 static int secdiff; variable
289 secdiff = 0; in cuddTreeSifting()
319 (void) fprintf(table->out,"secdiff = %d\n",secdiff); in cuddTreeSifting()
1897 secdiff++; in ddSecDiffCheck()
|
| /dports/math/py-brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddGroup.c | 126 static int secdiff; variable
300 secdiff = 0; in cuddTreeSifting()
330 (void) fprintf(table->out,"secdiff = %d\n",secdiff); in cuddTreeSifting()
1916 secdiff++; in ddSecDiffCheck()
|
| /dports/math/cudd/cudd-3.0.0/cudd/ |
| H A D | cuddZddGroup.c | 247 table->secdiff = 0; in cuddZddTreeSifting()
276 (void) fprintf(table->out,"secdiff = %d\n",table->secdiff); in cuddZddTreeSifting()
|
| H A D | cuddGroup.c | 235 table->secdiff = 0; in cuddTreeSifting()
265 (void) fprintf(table->out,"secdiff = %d\n",table->secdiff); in cuddTreeSifting()
1838 table->secdiff++; in ddSecDiffCheck()
|
| H A D | cuddInt.h | 535 int secdiff; /**< number of successful second diff. checks */ member
|
| /dports/net/bctoolbox/bctoolbox-0.6.0/src/utils/ |
| H A D | port.c | 841 int64_t secdiff = s1->tv_sec - s2->tv_sec; in bctbx_timespec_compare() local
842 if (secdiff == 0){ in bctbx_timespec_compare()
849 }else if (secdiff < 0){ in bctbx_timespec_compare()
|
12