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


Generated on Mon Mar 21 00:08:47 2005 for Fixpoint Engine by  doxygen 1.3.9.1