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

backtrack()	Unifier
complete_unification()	Unifier	private
get_substitution() const	Unifier	inline
operator()(Term , Term )	Unifier
operator()(const vector< Term * > &, const vector< Term * > &)	Unifier
operator()(Literal , Literal )	Unifier
operator()(const Literal &l1, const Literal &l2)	Unifier	inline
operator<< (defined in Unifier)	Unifier	friend
operator=(const Unifier &)=delete (defined in Unifier)	Unifier
operator=(const Unifier &&)=delete (defined in Unifier)	Unifier
s	Unifier	private
to_do	Unifier	private
to_string(bool subbed=false) const	Unifier	inline
Unifier()	Unifier	inline
Unifier(const Unifier &)=delete	Unifier
Unifier(const Unifier &&)=delete (defined in Unifier)	Unifier
unify(Term , Term )	Unifier
unify_terms(Term , Term )	Unifier