This is the complete list of members for Term, including all inherited members.
cmp(const Term *t) const | Term | |
contains(const Var *v) const | Term | |
copy() | Term | |
dec_ref() | Term | inline |
get_hash() const | Term | inline |
get_next() const | Term | inline |
get_ref() const | Term | inline |
get_rest() const | Term | inline |
get_var() const | Term | inline |
get_var_level() const | Term | inline |
get_var_name() const | Term | inline |
get_var_num() const | Term | inline |
hash | Term | private |
inc_ref() | Term | inline |
next | Term | private |
print(FILE *file) const | Term | |
ref | Term | private |
rest | Term | private |
set_next(Term *t) | Term | inline |
size() const | Term | |
Term(const Var *_v, Term *_r, uint64_t _hash, Term *_n) | Term | |
variable | Term | private |