Variable Member List

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

contains_variable(Variable *) const	Variable
get_id() const	Variable	inline
get_name() const	Variable	inline
get_subbed_arity() const	Variable
get_subbed_f() const	Variable
get_subbed_term() const	Variable	inline
id (defined in Variable)	Variable	private
is_subbed() const	Variable	inline
make_LaTeX(bool=false) const	Variable
name (defined in Variable)	Variable	private
operator<<	Variable	friend
operator=(const Variable &)=delete (defined in Variable)	Variable
operator=(const Variable &&)=delete (defined in Variable)	Variable
remove_substitution()	Variable	inline
skip_leading_variables() const	Variable
subbed_is_function() const	Variable
subbed_is_variable() const	Variable
subbed_variable() const	Variable
substitute(Term *t)	Variable	inline
substitution (defined in Variable)	Variable	private
to_string(bool=false) const	Variable
Variable()	Variable	inlineprivate
Variable(ID new_id) (defined in Variable)	Variable	inlineprivate
Variable(ID new_id, const string &new_name) (defined in Variable)	Variable	inlineprivate
Variable(const Variable &)=delete	Variable
Variable(const Variable &&)=delete (defined in Variable)	Variable
VariableIndex (defined in Variable)	Variable	friend