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 |