Home
last modified time | relevance | path

Searched refs:clause_length (Results 1 – 20 of 20) sorted by relevance

/dports/math/yices/yices-2.6.2/src/solvers/cdcl/
H A Dclause_pool.c113 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 Dclause_pool.h195 static inline uint32_t clause_length(clause_pool_t *pool, cidx_t idx) { in clause_length() function
H A Dnew_sat_solver.c1197 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 Dnew_sat_solver2.c1168 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 Dsat_solver.c128 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 Dsmt_core.c185 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 Dimm32_manager.cc70 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 Dimm32_manager.cc70 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 Dspd_db_oracle.cc7613 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 Dspd_db_mysql.cc10988 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 Dspd_db_oracle.cc7613 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 Dspd_db_mysql.cc10988 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 Dspd_db_oracle.cc7480 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 Dspd_db_mysql.cc9451 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 Dspd_db_oracle.cc7480 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 Dspd_db_mysql.cc9451 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 Dspd_db_oracle.cc7620 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 Dspd_db_mysql.cc11419 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 Dspd_db_oracle.cc7620 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 Dspd_db_mysql.cc11419 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()