/dports/math/yices/yices-2.6.2/src/solvers/cdcl/ |
H A D | clause_pool.c | 113 prob_lits += clause_length(pool, i); in good_statistics() 118 learned_lits += clause_length(pool, i); in good_statistics() 407 n >= 2 && n <= clause_length(pool, idx)); in clause_pool_shrink_clause() 409 old_n = clause_length(pool, idx); in clause_pool_shrink_clause()
|
H A D | clause_pool.h | 195 static inline uint32_t clause_length(clause_pool_t *pool, cidx_t idx) { in clause_length() function
|
H A D | new_sat_solver.c | 1197 n = clause_length(pool, idx); in clause_pool_delete_clause() 4366 n = clause_length(&solver->pool, cidx); in clause_is_precious() 4597 n = clause_length(&solver->pool, cidx); in simplify_clause() 7672 s += clause_length(pool, cidx); in live_clauses_size() 7748 n1 = clause_length(&solver->pool, c1); in non_trivial_resolvent() 7750 n2 = clause_length(&solver->pool, c2); in non_trivial_resolvent() 7792 n1 = clause_length(&solver->pool, c1); in pp_build_resolvent() 7794 n2 = clause_length(&solver->pool, c2); in pp_build_resolvent() 11452 n = clause_length(pool, cidx); in export_problem_clauses() 11690 n = clause_length(pool, idx); in show_clause() [all …]
|
H A D | new_sat_solver2.c | 1168 n = clause_length(pool, idx); in clause_pool_delete_clause() 3999 n = clause_length(&solver->pool, cidx); in clause_is_precious() 4230 n = clause_length(&solver->pool, cidx); in simplify_clause() 4740 n = clause_length(&solver->pool, cidx); in subst_and_simplify_clause() 6803 s += clause_length(pool, cidx); in live_clauses_size() 6866 n1 = clause_length(&solver->pool, c1); in non_trivial_resolvent() 6868 n2 = clause_length(&solver->pool, c2); in non_trivial_resolvent() 6910 n1 = clause_length(&solver->pool, c1); in pp_build_resolvent() 6912 n2 = clause_length(&solver->pool, c2); in pp_build_resolvent() 9401 n = clause_length(pool, idx); in show_clause() [all …]
|
H A D | sat_solver.c | 128 static uint32_t clause_length(clause_t *cl) { in clause_length() function 1587 solver->stats.learned_literals += clause_length(v[i]); in delete_learned_clauses()
|
H A D | smt_core.c | 185 static uint32_t clause_length(clause_t *cl) { in clause_length() function 4611 s->stats.learned_literals += clause_length(v[i]); in delete_learned_clauses() 5216 nlits += clause_length(cl); in restore_clauses()
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/ui/base/ime/win/ |
H A D | imm32_manager.cc | 70 int clause_length = clause_size / sizeof(uint32_t); in GetImeTextSpans() local 71 if (clause_length) { in GetImeTextSpans() 72 std::unique_ptr<uint32_t[]> clause_data(new uint32_t[clause_length]); in GetImeTextSpans() 76 for (int i = 0; i < clause_length - 1; ++i) { in GetImeTextSpans()
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/ui/base/ime/win/ |
H A D | imm32_manager.cc | 70 int clause_length = clause_size / sizeof(uint32_t); in GetImeTextSpans() local 71 if (clause_length) { in GetImeTextSpans() 72 std::unique_ptr<uint32_t[]> clause_data(new uint32_t[clause_length]); in GetImeTextSpans() 76 for (int i = 0; i < clause_length - 1; ++i) { in GetImeTextSpans()
|
/dports/databases/mariadb104-server/mariadb-10.4.24/storage/spider/ |
H A D | spd_db_oracle.cc | 7613 uint clause_length = str->length() - ha_next_pos; in append_where_terminator() local 7614 if (clause_length < SPIDER_SQL_NEXT_LEN) in append_where_terminator() 7617 clause_length = SPIDER_SQL_NEXT_LEN - clause_length; in append_where_terminator() 7618 if (str->reserve(clause_length)) in append_where_terminator() 7620 for (roop_count = 0; roop_count < (int) clause_length; roop_count++) in append_where_terminator()
|
H A D | spd_db_mysql.cc | 10988 uint clause_length = str->length() - ha_next_pos; in append_where_terminator() local 10989 if (clause_length < SPIDER_SQL_NEXT_LEN) in append_where_terminator() 10992 clause_length = SPIDER_SQL_NEXT_LEN - clause_length; in append_where_terminator() 10993 if (str->reserve(clause_length)) in append_where_terminator() 10995 for (roop_count = 0; roop_count < (int) clause_length; roop_count++) in append_where_terminator()
|
/dports/databases/mariadb104-client/mariadb-10.4.24/storage/spider/ |
H A D | spd_db_oracle.cc | 7613 uint clause_length = str->length() - ha_next_pos; in append_where_terminator() local 7614 if (clause_length < SPIDER_SQL_NEXT_LEN) in append_where_terminator() 7617 clause_length = SPIDER_SQL_NEXT_LEN - clause_length; in append_where_terminator() 7618 if (str->reserve(clause_length)) in append_where_terminator() 7620 for (roop_count = 0; roop_count < (int) clause_length; roop_count++) in append_where_terminator()
|
H A D | spd_db_mysql.cc | 10988 uint clause_length = str->length() - ha_next_pos; in append_where_terminator() local 10989 if (clause_length < SPIDER_SQL_NEXT_LEN) in append_where_terminator() 10992 clause_length = SPIDER_SQL_NEXT_LEN - clause_length; in append_where_terminator() 10993 if (str->reserve(clause_length)) in append_where_terminator() 10995 for (roop_count = 0; roop_count < (int) clause_length; roop_count++) in append_where_terminator()
|
/dports/databases/mariadb103-client/mariadb-10.3.34/storage/spider/ |
H A D | spd_db_oracle.cc | 7480 uint clause_length = str->length() - ha_next_pos; in append_where_terminator() local 7481 if (clause_length < SPIDER_SQL_NEXT_LEN) in append_where_terminator() 7484 clause_length = SPIDER_SQL_NEXT_LEN - clause_length; in append_where_terminator() 7485 if (str->reserve(clause_length)) in append_where_terminator() 7487 for (roop_count = 0; roop_count < (int) clause_length; roop_count++) in append_where_terminator()
|
H A D | spd_db_mysql.cc | 9451 uint clause_length = str->length() - ha_next_pos; 9452 if (clause_length < SPIDER_SQL_NEXT_LEN) 9455 clause_length = SPIDER_SQL_NEXT_LEN - clause_length; 9456 if (str->reserve(clause_length)) 9458 for (roop_count = 0; roop_count < (int) clause_length; roop_count++)
|
/dports/databases/mariadb103-server/mariadb-10.3.34/storage/spider/ |
H A D | spd_db_oracle.cc | 7480 uint clause_length = str->length() - ha_next_pos; in append_where_terminator() local 7481 if (clause_length < SPIDER_SQL_NEXT_LEN) in append_where_terminator() 7484 clause_length = SPIDER_SQL_NEXT_LEN - clause_length; in append_where_terminator() 7485 if (str->reserve(clause_length)) in append_where_terminator() 7487 for (roop_count = 0; roop_count < (int) clause_length; roop_count++) in append_where_terminator()
|
H A D | spd_db_mysql.cc | 9451 uint clause_length = str->length() - ha_next_pos; in append_where_terminator() local 9452 if (clause_length < SPIDER_SQL_NEXT_LEN) in append_where_terminator() 9455 clause_length = SPIDER_SQL_NEXT_LEN - clause_length; in append_where_terminator() 9456 if (str->reserve(clause_length)) in append_where_terminator() 9458 for (roop_count = 0; roop_count < (int) clause_length; roop_count++) in append_where_terminator()
|
/dports/databases/mariadb105-client/mariadb-10.5.15/storage/spider/ |
H A D | spd_db_oracle.cc | 7620 uint clause_length = str->length() - ha_next_pos; in append_where_terminator() local 7621 if (clause_length < SPIDER_SQL_NEXT_LEN) in append_where_terminator() 7624 clause_length = SPIDER_SQL_NEXT_LEN - clause_length; in append_where_terminator() 7625 if (str->reserve(clause_length)) in append_where_terminator() 7627 for (roop_count = 0; roop_count < (int) clause_length; roop_count++) in append_where_terminator()
|
H A D | spd_db_mysql.cc | 11419 uint clause_length = str->length() - ha_next_pos; in append_where_terminator() local 11420 if (clause_length < SPIDER_SQL_NEXT_LEN) in append_where_terminator() 11423 clause_length = SPIDER_SQL_NEXT_LEN - clause_length; in append_where_terminator() 11424 if (str->reserve(clause_length)) in append_where_terminator() 11426 for (roop_count = 0; roop_count < (int) clause_length; roop_count++) in append_where_terminator()
|
/dports/databases/mariadb105-server/mariadb-10.5.15/storage/spider/ |
H A D | spd_db_oracle.cc | 7620 uint clause_length = str->length() - ha_next_pos; in append_where_terminator() local 7621 if (clause_length < SPIDER_SQL_NEXT_LEN) in append_where_terminator() 7624 clause_length = SPIDER_SQL_NEXT_LEN - clause_length; in append_where_terminator() 7625 if (str->reserve(clause_length)) in append_where_terminator() 7627 for (roop_count = 0; roop_count < (int) clause_length; roop_count++) in append_where_terminator()
|
H A D | spd_db_mysql.cc | 11419 uint clause_length = str->length() - ha_next_pos; in append_where_terminator() local 11420 if (clause_length < SPIDER_SQL_NEXT_LEN) in append_where_terminator() 11423 clause_length = SPIDER_SQL_NEXT_LEN - clause_length; in append_where_terminator() 11424 if (str->reserve(clause_length)) in append_where_terminator() 11426 for (roop_count = 0; roop_count < (int) clause_length; roop_count++) in append_where_terminator()
|