sub_delete.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 "trie_internals.h"
#include "macro_xsb.h"
#include "error_xsb.h"
#include "thread_xsb.h"
#include "memory_xsb.h"

Functions
static void	free_private_tstn (CTXTdeclc TSTNptr tstn)
static void	free_private_tstht (CTXTdeclc TSTHTptr tstht)
static void	free_private_tsi (CTXTdeclc TSTHTptr tstht)
static void	free_private_al (CTXTdeclc VariantSF sf)
static void	delete_private_btht (CTXTdeclc BTHTptr btht)
static void	delete_private_tstht (CTXTdeclc TSTHTptr tstht)
static void	delete_private_sf (CTXTdeclc VariantSF sf)
static void	delete_tst_answer_set (CTXTdeclc TSTNptr root)
void	delete_call_index (CTXTdeclc BTNptr root)
void	delete_subsumptive_table (CTXTdeclc TIFptr tif)
void	reclaim_deleted_subsumptive_table (CTXTdeclc DelTFptr deltf_ptr)
Variables
BTHTptr	hhadded

---

Function Documentation

void delete_call_index (  CTXTdeclc BTNptr  root  )

static void delete_private_btht (  CTXTdeclc BTHTptr  btht  )  [static]

static void delete_private_sf (  CTXTdeclc VariantSF  sf  )  [static]

static void delete_private_tstht (  CTXTdeclc TSTHTptr  tstht  )  [static]

void delete_subsumptive_table (  CTXTdeclc TIFptr  tif  )

static void delete_tst_answer_set (  CTXTdeclc TSTNptr  root  )  [static]

static void free_private_al (  CTXTdeclc VariantSF  sf  )  [static]

static void free_private_tsi (  CTXTdeclc TSTHTptr  tstht  )  [static]

static void free_private_tstht (  CTXTdeclc TSTHTptr  tstht  )  [static]

static void free_private_tstn (  CTXTdeclc TSTNptr  tstn  )  [static]

void reclaim_deleted_subsumptive_table (  CTXTdeclc DelTFptr  deltf_ptr  )

---

Variable Documentation

BTHTptr hhadded

---