Term Member List

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

arity() const	Term	inline
contains_variable(Variable *) const	Term
find_subbed_vars(set< Variable * > &) const	Term
get_f() const	Term	inline
get_subbed_arity() const	Term
get_subbed_f() const	Term
get_v() const	Term	inline
is_function() const	Term	inline
is_subbed() const	Term
is_unsubbed_variable() const	Term
is_variable() const	Term	inline
make_copy_with_new_vars(VariableIndex &, TermIndex &) const	Term
make_copy_with_new_vars_helper(VariableIndex &, TermIndex &, unordered_map< Variable *, Term * > &) const	Term
make_LaTeX(bool=false) const	Term
operator<< (defined in Term)	Term	friend
operator==(const Term &) const	Term
operator[](size_t) const	Term
skip_leading_variables() const	Term
subbed_equal(Term *) const	Term
subbed_is_function() const	Term
subbed_is_variable() const	Term
subbed_variable() const	Term
TermIndex (defined in Term)	Term	friend
to_prolog_string() const	Term
to_string(bool=false, bool=false) const	Term