diff options
Diffstat (limited to 'inc')
| -rw-r--r-- | inc/map.h | 2 | ||||
| -rw-r--r-- | inc/reduce.h | 2 | ||||
| -rw-r--r-- | inc/term.h | 4 |
3 files changed, 5 insertions, 3 deletions
@@ -10,7 +10,7 @@ struct hashmap *map_all_terms(void); struct term *map_get(struct hashmap *map, hash_t hash); -void map_set(struct hashmap *map, struct term *term, hash_t hash); +void map_set(struct hashmap *map, struct term *term); void map_delete(struct hashmap *map, struct term *term); void map_initialize(void); void map_destroy(struct hashmap *map); diff --git a/inc/reduce.h b/inc/reduce.h index 4fff82f..9856075 100644 --- a/inc/reduce.h +++ b/inc/reduce.h @@ -6,6 +6,6 @@ #include <term.h> -void reduce(struct term *term); +struct term *reduce(struct term *term); #endif @@ -30,10 +30,12 @@ struct term { }; struct term *term_new(term_type_t type, hash_t hash, size_t depth); +void term_rehash_parents(struct term *term); +struct term *term_rehash(struct term *term); struct term *term_rehash_abs(struct term *head, struct term *term); struct term *term_rehash_app(struct term *head, struct term *lhs, struct term *rhs); - +struct term *term_rehash_var(struct term *head, size_t index); void term_refer_head(struct term *term, size_t depth); void term_refer(struct term *term, size_t depth); void term_deref_head(struct term *term); |