Searched refs:AnfEqual (Results 1 – 4 of 4) sorted by relevance
194 bool AnfEqual(const BaseRef &a, const BaseRef &b);
272 if (opt::AnfEqual(pattern_ref, expr_ref)) { in Match()
586 bool AnfEqual(const BaseRef &a, const BaseRef &b) { in AnfEqual() function
409 bool AnfEqual(const BaseRef &a, const BaseRef &b) { in AnfEqual() function