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