2 * Copyright (c) 2007, Novell Inc.
4 * This program is licensed under the BSD license, read LICENSE.BSD
5 * for further information
7 #ifndef SATSOLVER_STRINGPOOL_H
8 #define SATSOLVER_STRINGPOOL_H
10 #include "pooltypes.h"
18 Offset *strings; // table of offsets into stringspace, indexed by Id: Id -> Offset
19 int nstrings; // number of unique strings in stringspace
20 char *stringspace; // space for all unique strings: stringspace + Offset = string
21 Offset sstrings; // next free pos in stringspace
23 Hashtable stringhashtbl; // hash table: (string ->) Hash -> Id
24 Hashmask stringhashmask; // modulo value for hash table (size of table - 1)
27 void stringpool_init(Stringpool *ss, const char *strs[]);
28 void stringpool_init_empty(Stringpool *ss);
29 void stringpool_clone(Stringpool *ss, Stringpool *from);
30 void stringpool_free(Stringpool *ss);
32 Id stringpool_str2id (Stringpool *ss, const char *str, int create);
33 Id stringpool_strn2id (Stringpool *ss, const char *str, unsigned int len, int create);
34 void stringpool_shrink (Stringpool *ss);
37 static inline const char *
38 stringpool_id2str (Stringpool *ss, Id id)
40 return ss->stringspace + ss->strings[id];