// 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);
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, char all);

#endif