From 7ebabbb0022bce1cd6c05db583acb20d8659a356 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Sun, 21 May 2023 18:09:04 +0200 Subject: Added additional optimizer This will be useful for variadic index lengths --- inc/tree.h | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'inc/tree.h') diff --git a/inc/tree.h b/inc/tree.h index 8addf7e..41ad27a 100644 --- a/inc/tree.h +++ b/inc/tree.h @@ -31,7 +31,8 @@ struct tree { int index; } var; struct { - size_t index; + size_t hash; + int table_index; } ref; } u; }; @@ -42,7 +43,8 @@ struct list { struct list *next; }; -struct list *tree_merge_duplicates(struct term *term); +struct list *list_add(struct list *list, void *data); +struct tree *tree_merge_duplicates(struct term *term, void **all_trees); void tree_destroy(struct list *table); #endif -- cgit v1.2.3