#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}
|
|
|
|
|
|
|
1.4.5