Searched refs:other_ht_ptr (Results 1 – 1 of 1) sorted by relevance
324 CLitPoolElement * ht_ptr, * other_ht_ptr = NULL, * ptr; in set_var_value_with_current_dl() local340 int the_value = literal_value (*other_ht_ptr); in set_var_value_with_current_dl()344 queue_implication (other_ht_ptr->s_var(), cl_idx); in set_var_value_with_current_dl()348 other_ht_ptr = ptr; in set_var_value_with_current_dl()371 CLitPoolElement * ht_ptr, * other_ht_ptr = NULL, * ptr, * max_ptr = NULL; in set_var_value_not_current_dl() local400 int the_value = literal_value (*other_ht_ptr); in set_var_value_not_current_dl()404 queue_implication (other_ht_ptr->s_var(), cl_idx); in set_var_value_not_current_dl()408 other_ht_ptr = ptr; in set_var_value_not_current_dl()