| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | walksat.cpp | 99 numflip = 0;
101 while (!found_solution && (numfalse > 0) && (numflip < cutoff)) {
102 numflip++;
134 changed[toflip] = numflip;
594 if (numflip >= tail_start_flip) {
602 totalflip += numflip;
603 x += numflip;
625 totalsuccessflip += numflip;
640 << std::setw(9) << numflip
784 if ((numflip % 100) == 0) {
|
| H A D | walksat.h | 145 uint64_t numflip; /* number of changes so far */ variable
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | walksat.cpp | 99 numflip = 0; in main()
101 while (!found_solution && (numfalse > 0) && (numflip < cutoff)) { in main()
102 numflip++; in main()
134 changed[toflip] = numflip; in flipvar()
594 if (numflip >= tail_start_flip) { in update_statistics_end_flip()
602 totalflip += numflip; in update_and_print_statistics_end_try()
603 x += numflip; in update_and_print_statistics_end_try()
625 totalsuccessflip += numflip; in update_and_print_statistics_end_try()
640 << std::setw(9) << numflip in update_and_print_statistics_end_try()
784 if ((numflip % 100) == 0) { in pickrnovelty()
|
| H A D | walksat.h | 145 uint64_t numflip; /* number of changes so far */ variable
|
| /dports/science/berkeleygw/BGW-2.0.0/Common/qhull/ |
| H A D | merge.c | 1055 int nummerge=0, numflip=0; in qh_forcedmerges() local
1094 numflip++; in qh_forcedmerges()
1113 nummerge, numflip)); in qh_forcedmerges()
|
| /dports/science/afni/afni-AFNI_21.3.16/src/qhulldir/ |
| H A D | merge.c | 1055 int nummerge=0, numflip=0; in qh_forcedmerges() local
1094 numflip++; in qh_forcedmerges()
1113 nummerge, numflip)); in qh_forcedmerges()
|
| /dports/math/py-matplotlib2/matplotlib-2.2.4/extern/libqhull/ |
| H A D | merge.c | 1061 int nummerge=0, numflip=0; in qh_forcedmerges() local
1099 numflip++; in qh_forcedmerges()
1118 nummerge, numflip)); in qh_forcedmerges()
|
| /dports/cad/meshlab/meshlab-Meshlab-2020.05/src/external/qhull-2003.1/src/ |
| H A D | merge.c | 1051 int nummerge=0, numflip=0; in qh_forcedmerges() local
1090 numflip++; in qh_forcedmerges()
1109 nummerge, numflip)); in qh_forcedmerges()
|
| /dports/math/libmesh/libmesh-1.6.2/contrib/qhull/2012.1/src/libqhull/ |
| H A D | merge.c | 1055 int nummerge=0, numflip=0; in qh_forcedmerges() local
1094 numflip++; in qh_forcedmerges()
1113 nummerge, numflip)); in qh_forcedmerges()
|
| /dports/graphics/py-gdal/gdal-3.3.3/alg/internal_libqhull/ |
| H A D | merge.c | 1055 int nummerge=0, numflip=0; in qh_forcedmerges() local
1094 numflip++; in qh_forcedmerges()
1113 nummerge, numflip)); in qh_forcedmerges()
|
| /dports/cad/PrusaSlicer/PrusaSlicer-version_2.3.3/src/qhull/src/libqhull/ |
| H A D | merge.c | 1061 int nummerge=0, numflip=0; in qh_forcedmerges() local
1099 numflip++; in qh_forcedmerges()
1118 nummerge, numflip)); in qh_forcedmerges()
|
| /dports/math/py-pyhull/pyhull-2015.2.1/src/libqhull/ |
| H A D | merge.c | 1061 int nummerge=0, numflip=0; in qh_forcedmerges() local
1099 numflip++; in qh_forcedmerges()
1118 nummerge, numflip)); in qh_forcedmerges()
|
| /dports/graphics/p5-Geo-GDAL/gdal-3.3.3/alg/internal_libqhull/ |
| H A D | merge.c | 1055 int nummerge=0, numflip=0; in qh_forcedmerges() local
1094 numflip++; in qh_forcedmerges()
1113 nummerge, numflip)); in qh_forcedmerges()
|
| /dports/math/R-cran-geometry/geometry/src/ |
| H A D | merge_r.c | 1060 int nummerge=0, numflip=0; in qh_forcedmerges() local
1098 numflip++; in qh_forcedmerges()
1117 nummerge, numflip)); in qh_forcedmerges()
|
| /dports/cad/PrusaSlicer/PrusaSlicer-version_2.3.3/src/qhull/src/libqhull_r/ |
| H A D | merge_r.c | 1060 int nummerge=0, numflip=0; in qh_forcedmerges() local
1098 numflip++; in qh_forcedmerges()
1117 nummerge, numflip)); in qh_forcedmerges()
|
| /dports/math/qhull8/qhull-8.0.2/src/libqhull/ |
| H A D | merge.c | 1547 int nummerge=0, numflip=0, numdegen= 0; in qh_forcedmerges() local
1606 numflip++; in qh_forcedmerges()
1637 if (nummerge || numflip) { in qh_forcedmerges()
1640 nummerge, numflip, numdegen)); in qh_forcedmerges()
|
| /dports/math/qhull/qhull-7.3.2/src/libqhull/ |
| H A D | merge.c | 1547 int nummerge=0, numflip=0, numdegen= 0; in qh_forcedmerges() local
1606 numflip++; in qh_forcedmerges()
1637 if (nummerge || numflip) { in qh_forcedmerges()
1640 nummerge, numflip, numdegen)); in qh_forcedmerges()
|
| /dports/science/py-scipy/scipy-1.7.1/scipy/spatial/qhull_src/src/ |
| H A D | merge_r.c | 1547 int nummerge=0, numflip=0, numdegen= 0; in qh_forcedmerges() local
1606 numflip++; in qh_forcedmerges()
1637 if (nummerge || numflip) { in qh_forcedmerges()
1640 nummerge, numflip, numdegen)); in qh_forcedmerges()
|
| /dports/math/qhull8/qhull-8.0.2/src/libqhull_r/ |
| H A D | merge_r.c | 1547 int nummerge=0, numflip=0, numdegen= 0; in qh_forcedmerges() local
1606 numflip++; in qh_forcedmerges()
1637 if (nummerge || numflip) { in qh_forcedmerges()
1640 nummerge, numflip, numdegen)); in qh_forcedmerges()
|
| /dports/math/qhull/qhull-7.3.2/src/libqhull_r/ |
| H A D | merge_r.c | 1547 int nummerge=0, numflip=0, numdegen= 0; in qh_forcedmerges() local
1606 numflip++; in qh_forcedmerges()
1637 if (nummerge || numflip) { in qh_forcedmerges()
1640 nummerge, numflip, numdegen)); in qh_forcedmerges()
|
| /dports/math/gambit/gambit-16.0.1/src/tools/enumpoly/ |
| H A D | pelqhull.cc | 5960 int nummerge=0, numflip=0; in qh_forcedmerges() local
6015 numflip++; in qh_forcedmerges()
6061 numflip++; in qh_forcedmerges()
6064 …cedmerges: merged %d facets across duplicated ridges and %d flipped facets\n", nummerge, numflip)); in qh_forcedmerges()
|