blob: 1312ae478b9ad48c53237083398a1e26bcdc4717 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// 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
|
