| /dports/biology/minimap2/minimap2-2.24/ |
| H A D | kalloc.c | 28 size_t min_core_size; member
38 void *km_init2(void *km_par, size_t min_core_size) in km_init2() argument
43 km->min_core_size = min_core_size > 0? min_core_size : 0x80000; in km_init2()
68 …nu = (nu + 1 + (km->min_core_size - 1)) / km->min_core_size * km->min_core_size; /* the first +1 f… in morecore()
|
| H A D | kalloc.h | 20 void *km_init2(void *km_par, size_t min_core_size);
|
| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | smt_consequences.cpp | 456 …tract_cores(expr_ref_vector const& asms, vector<expr_ref_vector>& cores, unsigned& min_core_size) { in extract_cores() argument
482 min_core_size = std::min(min_core_size, core.size()); in extract_cores()
510 …isplay_partial_assignment(std::ostream& out, expr_ref_vector const& asms, unsigned min_core_size) { in display_partial_assignment() argument
524 … << " false: " << num_false << " undef: " << num_undef << " min core: " << min_core_size << ")\n"; in display_partial_assignment()
539 unsigned min_core_size = UINT_MAX; in preferred_sat() local
558 extract_cores(asms, cores, min_core_size); in preferred_sat()
559 IF_VERBOSE(1, display_partial_assignment(verbose_stream(), asms, min_core_size);); in preferred_sat()
561 if (min_core_size <= 10) { in preferred_sat()
571 if (num_restarts >= min_core_size) { in preferred_sat()
573 while (num_restarts <= 10*min_core_size) { in preferred_sat()
|
| H A D | smt_context.h | 1570 …xtract_cores(expr_ref_vector const& asms, vector<expr_ref_vector>& cores, unsigned& min_core_size);
1574 …display_partial_assignment(std::ostream& out, expr_ref_vector const& asms, unsigned min_core_size);
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
| H A D | smt_consequences.cpp | 456 …tract_cores(expr_ref_vector const& asms, vector<expr_ref_vector>& cores, unsigned& min_core_size) { in extract_cores() argument
482 min_core_size = std::min(min_core_size, core.size()); in extract_cores()
510 …isplay_partial_assignment(std::ostream& out, expr_ref_vector const& asms, unsigned min_core_size) { in display_partial_assignment() argument
524 … << " false: " << num_false << " undef: " << num_undef << " min core: " << min_core_size << ")\n"; in display_partial_assignment()
539 unsigned min_core_size = UINT_MAX; in preferred_sat() local
558 extract_cores(asms, cores, min_core_size); in preferred_sat()
559 IF_VERBOSE(1, display_partial_assignment(verbose_stream(), asms, min_core_size);); in preferred_sat()
561 if (min_core_size <= 10) { in preferred_sat()
571 if (num_restarts >= min_core_size) { in preferred_sat()
573 while (num_restarts <= 10*min_core_size) { in preferred_sat()
|
| H A D | smt_context.h | 1565 …xtract_cores(expr_ref_vector const& asms, vector<expr_ref_vector>& cores, unsigned& min_core_size);
1569 …display_partial_assignment(std::ostream& out, expr_ref_vector const& asms, unsigned min_core_size);
|
| /dports/math/z3/z3-z3-4.8.13/src/opt/ |
| H A D | wmax.cpp | 166 unsigned min_core_size = UINT_MAX; in update_cores() local
172 min_core_size = std::min(core.size(), min_core_size); in update_cores()
192 if (core.size() > min_core_size + 2) { in update_cores()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/opt/ |
| H A D | wmax.cpp | 166 unsigned min_core_size = UINT_MAX;
172 min_core_size = std::min(core.size(), min_core_size);
192 if (core.size() > min_core_size + 2) {
|
| /dports/biology/graphlan/nsegata-graphlan-66ec7cfce81e/pyphlan/ |
| H A D | pyphlan.py | 331 …def find_cores( self, cl_taxa_file, min_core_size = 1, error_rate = 0.95, subtree = None, skip_qm … argument
355 if len(tgts) >= min_core_size:
|
| /dports/biology/graphlan/nsegata-pyphlan-eae40ebc0030/ |
| H A D | pyphlan.py | 331 …def find_cores( self, cl_taxa_file, min_core_size = 1, error_rate = 0.95, subtree = None, skip_qm … argument
355 if len(tgts) >= min_core_size:
|
| /dports/biology/graphlan/nsegata-graphlan-66ec7cfce81e/src/ |
| H A D | pyphlan.py | 334 …def find_cores( self, cl_taxa_file, min_core_size = 1, error_rate = 0.95, subtree = None, skip_qm … argument
358 if len(tgts) >= min_core_size:
|