diff options
Diffstat (limited to 'inc')
| -rw-r--r-- | inc/reduce.h | 11 | ||||
| -rw-r--r-- | inc/term.h | 7 |
2 files changed, 18 insertions, 0 deletions
diff --git a/inc/reduce.h b/inc/reduce.h new file mode 100644 index 0000000..9856075 --- /dev/null +++ b/inc/reduce.h @@ -0,0 +1,11 @@ +// Copyright (c) 2023, Marvin Borner <dev@marvinborner.de> +// SPDX-License-Identifier: MIT + +#ifndef CALM_REDUCE_H +#define CALM_REDUCE_H + +#include <term.h> + +struct term *reduce(struct term *term); + +#endif @@ -28,7 +28,14 @@ struct term { }; struct term *term_new(term_type_t type, hash_t hash, size_t depth); +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); + +void term_refer_head(struct term *term, size_t depth); void term_refer(struct term *term, size_t depth); +void term_deref(struct term *term); + void term_print(struct term *term); #endif |