Searched refs:egraph_opposite_occ (Results 1 – 3 of 3) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/solvers/egraph/ |
| H A D | egraph_utils.h | 368 static inline bool egraph_opposite_occ(egraph_t *egraph, occ_t x, occ_t y) { in egraph_opposite_occ() function
|
| H A D | egraph_explanations.c | 482 if (egraph_opposite_occ(egraph, x, y)) { in explain_eq()
1385 if (egraph_opposite_occ(egraph, t1, t2)) { in egraph_inconsistent_edge()
|
| H A D | egraph.c | 3892 if (! egraph_opposite_occ(egraph, t1, t2)) { in check_eq_atom()
5564 if (egraph_opposite_occ(egraph, t1, t2)) { in mergeable_classes()
|