Searched refs:num_reduced (Results 1 – 8 of 8) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/sat/ |
| H A D | sat_scc.cpp | 252 unsigned quota = 0, num_reduced = 0, count = 0; in reduce_tr() local
253 …while ((num_reduced = reduce_tr(false)) > quota && count++ < 10) { quota = std::max(100u, num_redu… in reduce_tr()
255 …while ((num_reduced = reduce_tr(true)) > quota && count++ < 10) { quota = std::max(100u, num_redu… in reduce_tr()
|
| H A D | sat_solver.cpp | 3237 unsigned num_reduced = 0; in minimize_lemma_binres() local
3245 num_reduced++; in minimize_lemma_binres()
3248 if (num_reduced > 0) { in minimize_lemma_binres()
3259 return num_reduced > 0; in minimize_lemma_binres()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_scc.cpp | 252 unsigned quota = 0, num_reduced = 0, count = 0; in reduce_tr() local
253 …while ((num_reduced = reduce_tr(false)) > quota && count++ < 10) { quota = std::max(100u, num_redu… in reduce_tr()
255 …while ((num_reduced = reduce_tr(true)) > quota && count++ < 10) { quota = std::max(100u, num_redu… in reduce_tr()
|
| H A D | sat_solver.cpp | 3197 unsigned num_reduced = 0;
3205 num_reduced++;
3208 if (num_reduced > 0) {
3219 return num_reduced > 0;
|
| /dports/cad/gtkwave/gtkwave-3.3.107/src/ |
| H A D | analyzer.c | 1339 int num_reduced = 0; in TracesReorder() local
1358 tsort_reduced[num_reduced]->name = tsort[i]->name; in TracesReorder()
1359 tsort_reduced[num_reduced]->is_sort_group = 1; in TracesReorder()
1360 tsort_reduced[num_reduced]->t_grp = tsort[i]; in TracesReorder()
1363 num_reduced++; in TracesReorder()
1371 tsort_reduced[num_reduced++] = tsort[i]; in TracesReorder()
1375 if(num_reduced) in TracesReorder()
1379 for(i=0;i<=(num_reduced/2);i++) in TracesReorder()
1383 j = num_reduced-i-1; in TracesReorder()
1392 qsort(tsort_reduced, num_reduced, sizeof(Trptr), cptr); in TracesReorder()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/bv/ |
| H A D | bv_size_reduction_tactic.cpp | 185 unsigned num_reduced = 0; in run() local
272 num_reduced++; in run()
338 num_reduced++; in run()
367 report_tactic_progress(":bv-reduced", num_reduced); in run()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/bv/ |
| H A D | bv_size_reduction_tactic.cpp | 185 unsigned num_reduced = 0; in run() local
272 num_reduced++; in run()
338 num_reduced++; in run()
367 report_tactic_progress(":bv-reduced", num_reduced); in run()
|
| /dports/graphics/tesseract/tesseract-5.0.0/src/training/unicharset/ |
| H A D | lstmtrainer.cpp | 679 int num_reduced = ReduceLayerLearningRates( in ReduceLearningRates() local
682 "\nReduced learning rate on layers: " + std::to_string(num_reduced); in ReduceLearningRates()
|