// Copyright (c) 2023, Marvin Borner <dev@marvinborner.de>
// SPDX-License-Identifier: MIT

#ifndef CALM_MAP_H
#define CALM_MAP_H

#include <lib/hash.h>
#include <lib/pqueue.h>
#include <lib/hashmap.h>

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(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