Searched refs:rebuild_sum (Results 1 – 1 of 1) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/solvers/bv/ |
| H A D | bvpoly_dag.c | 2931 static void rebuild_sum(bvc_dag_t *dag, bvc_sum_t *p, bvnode_t i, node_occ_t *a, uint32_t n) { in rebuild_sum() function
2984 rebuild_sum(dag, p, i, v->data, m); in rewrite_pair_in_sum()
3003 rebuild_sum(dag, p, i, v->data, m); in alias_node_in_sum()
|