Searched refs:EXPL_RECONCILE (Results 1 – 3 of 3) sorted by relevance
454 EXPL_RECONCILE, enumerator
1059 case EXPL_RECONCILE: in build_explanation_vector()1778 case EXPL_RECONCILE: in egraph_search_for_reconcile_edge()
5850 egraph->stack.etag[k] = EXPL_RECONCILE; in egraph_reconcile_pair()