Searched defs:ht_ptrs (Results 1 – 1 of 1) sorted by relevance
313 vector<CLitPoolElement *> & ht_ptrs = var.ht_ptr(value); in set_var_value() local321 void CSolver::set_var_value_with_current_dl(int v, vector<CLitPoolElement *> & ht_ptrs) in set_var_value_with_current_dl()368 void CSolver::set_var_value_not_current_dl(int v, vector<CLitPoolElement *> & ht_ptrs) in set_var_value_not_current_dl()