Searched refs:egraph_get_imap (Results 1 – 3 of 3) sorted by relevance
130 imap = egraph_get_imap(egraph); in gen_distinct_congruence_antecedent()254 imap = egraph_get_imap(egraph); in half_or_congruence_antecedent()1280 imap = egraph_get_imap(egraph); in explain_distinct_via_dmask()1452 imap = egraph_get_imap(egraph); in egraph_inconsistent_distinct()
45 static inline int_hmap_t *egraph_get_imap(egraph_t *egraph) { in egraph_get_imap() function
2415 imap = egraph_get_imap(egraph); in egraph_check_distinct_false()