Searched refs:old_nvars (Results 1 – 3 of 3) sorted by relevance
5559 static void remove_garbage_bin_clauses(smt_core_t *s, uint32_t old_nvars) { in remove_garbage_bin_clauses() argument5582 for (l0=max; l0<pos_lit(old_nvars); l0++) { in remove_garbage_bin_clauses()5702 uint32_t old_nvars; in delete_irrelevant_variables() local5707 old_nvars = s->nvars; in delete_irrelevant_variables()5728 remove_garbage_bin_clauses(s, old_nvars); in delete_irrelevant_variables()
1918 uint32_t old_nvars, i; in heap_add_vars() local1920 old_nvars = heap->nvars; in heap_add_vars()1922 for (i=old_nvars; i<n; i++) { in heap_add_vars()
1952 uint32_t old_nvars, i;1954 old_nvars = heap->nvars;1956 for (i=old_nvars; i<n; i++) {