Searched refs:egraph_term2literal (Results 1 – 1 of 1) sorted by relevance
2528 static literal_t egraph_term2literal(egraph_t *egraph, eterm_t t) { in egraph_term2literal() function2571 return egraph_term2literal(egraph, t); in egraph_make_pred()2612 return egraph_term2literal(egraph, t); in egraph_make_eq()2711 return egraph_term2literal(egraph, t); in egraph_make_distinct()2729 return egraph_term2literal(egraph, t); in egraph_make_boolean_ite()2740 return egraph_term2literal(egraph, t); in egraph_make_or()3419 return egraph_term2literal(egraph, t); in egraph_make_aux_eq()5263 return egraph_term2literal(egraph, t); in egraph_make_simple_eq()