Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | File List | Class Members | File Members

unifier Member List

This is the complete list of members for unifier, including all inherited members.

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
bindingsunifier [private]
countunifier [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


Generated on Wed Feb 16 20:54:57 2005 for Fixpoint Engine by  doxygen 1.3.9.1