Searched refs:ivector_pop (Results 1 – 9 of 9) sorted by relevance
129 ivector_pop(&trail->level_sizes); in trail_undo_decision()182 ivector_pop(&trail->elements); in trail_pop_decision()188 ivector_pop(&trail->to_repropagate); in trail_pop_decision()219 ivector_pop(&trail->elements); in trail_pop_propagation()
386 ivector_pop(pre_stack); in preprocessor_apply()398 ivector_pop(pre_stack); in preprocessor_apply()990 ivector_pop(pre_stack); in preprocessor_apply()1038 ivector_pop(&pre->preprocess_map_list); in preprocessor_pop()1046 ivector_pop(&pre->purification_map_list); in preprocessor_pop()1054 ivector_pop(&pre->equalities_list); in preprocessor_pop()
151 ivector_pop(&substitution_stack); in substitution_run_core()165 ivector_pop(&substitution_stack); in substitution_run_core()415 ivector_pop(&substitution_stack); in substitution_run_core()
118 static inline void ivector_pop(ivector_t *v) { in ivector_pop() function
716 ivector_pop(&c->assumptions); in cond_def_explore_ite()720 ivector_pop(&c->assumptions); in cond_def_explore_ite()
336 ivector_pop(&db->updates); in feasible_set_db_pop()
1528 ivector_pop(&nra->processed_variables); in nra_plugin_pop()
399 ivector_pop(&db->updates); in bv_feasible_set_db_pop()
7699 ivector_pop(q); // remove k from q but keep the rest in strengthen_bounds_on_integer_variable()7737 ivector_pop(q); // remove k for cleanup in strengthen_bounds_on_integer_variable()8122 ivector_pop(antecedents); in simplex_integer_derived_bounds()