Added parent hashmaps

1 files changed, 9 insertions, 7 deletions

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 <lib/hash.h>
 #include <lib/pqueue.h>
+#include <lib/hashmap.h>
 
-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