Term Member List

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

all_variables() const	Term
args (defined in Term)	Term	private
arity() const	Term	inline
contains_variable(Variable *) const	Term
f (defined in Term)	Term	private
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 &)=delete (defined in Term)	Term
operator=(const Term &&)=delete (defined in Term)	Term
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
Term()	Term	inlineprivate
Term(Variable *new_v) (defined in Term)	Term	inlineprivate
Term(Function *, const vector< Term * > &)	Term	private
Term(const Term &)=delete	Term
Term(const Term &&)=delete (defined in Term)	Term
TermIndex (defined in Term)	Term	friend
to_prolog_string() const	Term
to_string(bool=false, bool=false) const	Term
v (defined in Term)	Term	private