Unifier Member List

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 &, const Literal &)	Unifier
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