129 void print(FILE * file)
const;
136 unsigned size()
const;
void deallocate_term(Term *t)
Definition: term.cpp:152
const Var * get_var() const
Definition: term.h:55
uint64_t get_ref() const
Definition: term.h:103
Definition: variable.h:20
int get_level() const
Definition: variable.h:63
Term * build_term_from_stack()
Definition: term.cpp:199
Term * copy()
Definition: term.cpp:22
const uint64_t hash
hash value
Definition: term.h:34
int get_var_level() const
Definition: term.h:61
void deallocate_terms()
Definition: term.cpp:175
Term * get_rest() const
Definition: term.h:79
void add_to_vstack(const Var *v)
Definition: term.cpp:192
uint64_t inc_ref()
Definition: term.h:109
const char * get_name() const
Definition: variable.h:51
void set_next(Term *t)
Definition: term.h:97
Term * rest
tail in linked list
Definition: term.h:28
uint64_t get_hash() const
Definition: term.h:85
bool contains(const Var *v) const
Definition: term.cpp:79
void print(FILE *file) const
Definition: term.cpp:31
uint64_t compute_hash_term(const Var *variable, const Term *rest)
Definition: term.cpp:98
const char * get_var_name() const
Definition: term.h:73
Term * new_term(const Var *variable, Term *rest)
Definition: term.cpp:127
Term(const Var *_v, Term *_r, uint64_t _hash, Term *_n)
Definition: term.cpp:13
uint64_t dec_ref()
Definition: term.h:115
int get_var_num() const
Definition: term.h:67
uint64_t ref
reference counter
Definition: term.h:31
Term * multiply_term(Term *t1, Term *t2)
Definition: term.cpp:215
Term * remainder(const Term *t, const Var *v)
Definition: term.cpp:254
unsigned size() const
Definition: term.cpp:43
int cmp(const Term *t) const
Definition: term.cpp:57
const Var * variable
head variable
Definition: term.h:25
int get_num() const
Definition: variable.h:69
Term * next
hash collision chain link
Definition: term.h:37
void enlarge_terms()
Definition: term.cpp:109
Term * get_next() const
Definition: term.h:91