storage_xsb.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include <stdlib.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "psc_xsb.h"
#include "cinterf.h"
#include "trie_internals.h"
#include "macro_xsb.h"
#include "error_xsb.h"
#include "tr_utils.h"
#include "storage_xsb.h"
#include "debug_xsb.h"
#include "flags_xsb.h"
#include "context.h"

Defines

#define find_or_insert_storage_handle(name)   (STORAGE_HANDLE *)search_bucket(name,&bt_storage_hash_table,hashtable_insert)
#define destroy_storage_handle(name)   search_bucket(name,&bt_storage_hash_table,hashtable_delete)
#define show_table_state()   show_table_state(&bt_storage_hash_table)

Functions

static STORAGE_HANDLEincrement_storage_snapshot (CTXTdeclc Cell name)
static STORAGE_HANDLEmark_storage_changed (CTXTdeclc Cell name)
static STORAGE_HANDLEget_storage_handle (CTXTdeclc Cell name)
STORAGE_HANDLEstorage_builtin (CTXTdeclc int builtin_number, Cell name)

Variables

xsbHashTable bt_storage_hash_table

Define Documentation

#define destroy_storage_handle name   )     search_bucket(name,&bt_storage_hash_table,hashtable_delete)
 

#define find_or_insert_storage_handle name   )     (STORAGE_HANDLE *)search_bucket(name,&bt_storage_hash_table,hashtable_insert)
 

 
#define show_table_state  )     show_table_state(&bt_storage_hash_table)
 


Function Documentation

static STORAGE_HANDLE* get_storage_handle CTXTdeclc Cell  name  )  [inline, static]
 

static STORAGE_HANDLE * increment_storage_snapshot CTXTdeclc Cell  name  )  [static]
 

static STORAGE_HANDLE * mark_storage_changed CTXTdeclc Cell  name  )  [static]
 

STORAGE_HANDLE* storage_builtin CTXTdeclc int  builtin_number,
Cell  name
 


Variable Documentation

xsbHashTable bt_storage_hash_table
 

Initial value:


Generated on Wed Jul 26 13:26:54 2006 for XSB by  doxygen 1.4.5