Searched refs:egraph_make_boolean_ite (Results 1 – 2 of 2) sorted by relevance
171 extern literal_t egraph_make_boolean_ite(egraph_t *egraph, occ_t c, occ_t t1, occ_t t2);
2721 literal_t egraph_make_boolean_ite(egraph_t *egraph, occ_t c, occ_t t1, occ_t t2) { in egraph_make_boolean_ite() function