inline bool expr_hasher::equal (const expr *exp1, const expr *exp2) { int equiv_p = exp_equiv_p (exp1->expr, exp2->expr, 0, true); gcc_assert (!equiv_p || exp1->hash == exp2->hash); return equiv_p; }
inline bool st_expr_hasher::equal (const st_expr *ptr1, const st_expr *ptr2) { return exp_equiv_p (ptr1->pattern, ptr2->pattern, 0, true); }
inline bool st_expr_hasher::equal (const value_type *ptr1, const compare_type *ptr2) { return exp_equiv_p (ptr1->pattern, ptr2->pattern, 0, true); }