From 931df5e774eebb098c5d7be93937d2b2f12b86ac Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Wed, 31 May 2023 13:21:24 +0200 Subject: Added parent hashmaps --- inc/map.h | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) (limited to 'inc/map.h') diff --git a/inc/map.h b/inc/map.h index 53b0c98..b389bfa 100644 --- a/inc/map.h +++ b/inc/map.h @@ -6,14 +6,16 @@ #include #include +#include -struct term *map_get(hash_t hash); -void map_set(struct term *term, hash_t hash); -void map_delete(struct term *term); +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_delete(struct hashmap *map, struct term *term); void map_initialize(void); -void map_destroy(void); -void map_dump(void); // TODO: remove -struct pqueue *map_to_pqueue(pqueue_cmp_pri_f cmppri, pqueue_get_pri_f getpri, - pqueue_set_pos_f set_pos); +void map_destroy(struct hashmap *map); +void map_dump(struct hashmap *map); // TODO: remove +struct pqueue *map_to_pqueue(struct hashmap *map, pqueue_cmp_pri_f cmppri, + pqueue_get_pri_f getpri, pqueue_set_pos_f set_pos); #endif -- cgit v1.2.3