#include "xsb_config.h"
#include "xsb_debug.h"
#include <string.h>
#include <stdio.h>
#include <stdlib.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "hash_xsb.h"
#include "psc_xsb.h"
#include "flags_xsb.h"
#include "memory_xsb.h"
#include "thread_xsb.h"
Defines | |
#define | NUM_OF_PRIMES 16 |
Functions | |
unsigned long | next_prime (unsigned long some_int) |
unsigned long | hash (char *obj_name, byte arity, unsigned long hash_table_size) |
void | expand_symbol_table () |
void | expand_string_table () |
void | symbol_table_stats (CTXTdecl) |
void | string_table_stats (CTXTdecl) |
void | free_unused_strings () |
Variables | |
Hash_Table | symbol_table = {2053, 0, NULL} |
Hash_Table | string_table = {16381, 0, NULL} |
static unsigned int | primes [NUM_OF_PRIMES] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Initial value: {127, 257, 509, 1021, 2053, 4099, 8191, 16381, 32771, 65537, 131071, 262147, 524287, 1048573, 2097143, 4194301} |
|
|
|
|