| add_binding(const string &s, const c_term *t) | unifier | |
| apply_to(struct c_term *t, bool skip_renaming=false) const | unifier | |
| apply_to(struct c_rule *r, bool skip_renaming=false) const | unifier | |
| apply_to(con_type &c) const | unifier | |
| bindings | unifier | [private] |
| count | unifier | [static] |
| operator<<(ostream &os, const unifier *u) | unifier | [friend] |
| unifier() | unifier | |
| unify(const struct c_term *t1, const struct c_term *t2) | unifier | |
| unify(const struct c_rule *r1, const struct c_rule *r2) | unifier | |
| ~unifier() | unifier |
1.3.9.1