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

struct term *map_get(hash_t hash);
void map_set(struct term *term, hash_t hash);
void map_delete(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);

#endif