blob: 59e269fc89d9d27fb83cb5337e16935399762156 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
/*
* Copyright (c) 2007, Novell Inc.
*
* This program is licensed under the BSD license, read LICENSE.BSD
* for further information
*/
#ifndef SATSOLVER_STRINGPOOL_H
#define SATSOLVER_STRINGPOOL_H
#include "pooltypes.h"
#include "hash.h"
#define STRID_NULL 0
#define STRID_EMPTY 1
struct _Stringpool
{
Offset *strings; // table of offsets into stringspace, indexed by Id: Id -> Offset
int nstrings; // number of unique strings in stringspace
char *stringspace; // space for all unique strings: stringspace + Offset = string
Offset sstrings; // next free pos in stringspace
Hashtable stringhashtbl; // hash table: (string ->) Hash -> Id
Hashmask stringhashmask; // modulo value for hash table (size of table - 1)
};
void stringpool_init(Stringpool *ss, const char *strs[]);
void stringpool_init_empty(Stringpool *ss);
void stringpool_clone(Stringpool *ss, Stringpool *from);
void stringpool_free(Stringpool *ss);
Id stringpool_str2id (Stringpool *ss, const char *str, int create);
Id stringpool_strn2id (Stringpool *ss, const char *str, unsigned int len, int create);
void stringpool_shrink (Stringpool *ss);
static inline const char *
stringpool_id2str (Stringpool *ss, Id id)
{
return ss->stringspace + ss->strings[id];
}
#endif
|
