Searched refs:egraph_ite_term (Results 1 – 1 of 1) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/solvers/egraph/ |
| H A D | egraph.c | 1430 static eterm_t egraph_ite_term(egraph_t *egraph, occ_t t1, occ_t t2, occ_t t3) { in egraph_ite_term() function
2725 t = egraph_ite_term(egraph, c, t1, t2); in egraph_make_boolean_ite()
2727 t = egraph_ite_term(egraph, opposite_occ(c), t2, t1); in egraph_make_boolean_ite()
3010 t = egraph_ite_term(egraph, c, t1, t2); in egraph_make_ite()
3012 t = egraph_ite_term(egraph, opposite_occ(c), t2, t1); in egraph_make_ite()
|