Searched refs:search_pair_in_sum (Results 1 – 1 of 1) sorted by relevance
4129 static void search_pair_in_sum(bvc_dag_t *dag, bvc_pair_t *b, bvc_sum_t *p) { in search_pair_in_sum() function4204 search_pair_in_sum(dag, &aux, q); in bvc_dag_force_elem_node()