* This program is licensed under the BSD license, read LICENSE.BSD
* for further information
*/
-#ifndef SATSOLVER_STRINGPOOL_H
-#define SATSOLVER_STRINGPOOL_H
+#ifndef LIBSOLV_STRINGPOOL_H
+#define LIBSOLV_STRINGPOOL_H
#include "pooltypes.h"
#include "hash.h"
+#ifdef __cplusplus
+extern "C" {
+#endif
+
#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
+ Offset *strings; /* table of offsets into stringspace, indexed by Id: Id -> Offset */
+ int nstrings; /* number of ids in strings table */
+ char *stringspace; /* space for all unique strings: stringspace + Offset = string */
+ Offset sstrings; /* size of used stringspace */
- Hashtable stringhashtbl; // hash table: (string ->) Hash -> Id
- Hashmask stringhashmask; // modulo value for hash table (size of table - 1)
+ Hashtable stringhashtbl; /* hash table: (string ->) Hash -> Id */
+ Hashval stringhashmask; /* modulo value for hash table (size of table - 1) */
};
void stringpool_init(Stringpool *ss, const char *strs[]);
void stringpool_clone(Stringpool *ss, Stringpool *from);
void stringpool_free(Stringpool *ss);
void stringpool_freehash(Stringpool *ss);
+void stringpool_resize_hash(Stringpool *ss, int numnew);
Id stringpool_str2id(Stringpool *ss, const char *str, int create);
Id stringpool_strn2id(Stringpool *ss, const char *str, unsigned int len, int create);
return ss->stringspace + ss->strings[id];
}
+#ifdef __cplusplus
+}
+#endif
+
#endif