tr_utils.h File Reference

#include "context.h"

Functions

VariantSF get_variant_sf (CTXTdeclc Cell, TIFptr, Cell *)
SubProdSF get_subsumer_sf (CTXTdeclc Cell, TIFptr, Cell *)
BTNptr get_trie_root (BTNptr)
VariantSF get_call (CTXTdeclc Cell, Cell *)
Cell build_ret_term (CTXTdeclc int, Cell[])
void construct_answer_template (CTXTdeclc Cell, SubProdSF, Cell[])
void breg_retskel (CTXTdecl)
void delete_predicate_table (CTXTdeclc TIFptr)
void reclaim_del_ret_list (CTXTdeclc VariantSF)
void delete_return (CTXTdeclc BTNptr, VariantSF)
void init_newtrie (CTXTdecl)
void delete_branch (CTXTdeclc BTNptr, BTNptr *)
void safe_delete_branch (BTNptr)
void undelete_branch (BTNptr)
void reclaim_uninterned_nr (CTXTdeclc long rootidx)
void delete_trie (CTXTdeclc BTNptr)
xsbBool is_completed_table (TIFptr)
xsbBool has_unconditional_answers (VariantSF)
Integer newtrie (CTXTdecl)
void trie_intern (CTXTdecl)
int trie_interned (CTXTdecl)
void trie_dispose (CTXTdecl)
void trie_dispose_nr (CTXTdecl)
void delete_interned_trie (CTXTdeclc Integer)
void trie_undispose (CTXTdeclc long, BTNptr)
int abolish_table_predicate (CTXTdeclc Psc)
int fast_abolish_table_predicate (CTXTdeclc Psc)
int abolish_table_call (CTXTdeclc VariantSF)
void abolish_private_tables (CTXTdecl)
void abolish_shared_tables (CTXTdecl)
int gc_tabled_preds (CTXTdecl)
void delete_variant_sf_and_answers (CTXTdeclc VariantSF pSF)
void abolish_table_info (CTXTdecl)
int abolish_usermod_tables (CTXTdecl)
int abolish_module_tables (CTXTdeclc const char *module_name)

Function Documentation

int abolish_module_tables CTXTdeclc const char *  module_name  ) 
 

void abolish_private_tables CTXTdecl   ) 
 

void abolish_shared_tables CTXTdecl   ) 
 

int abolish_table_call CTXTdeclc  VariantSF  ) 
 

void abolish_table_info CTXTdecl   )  [inline]
 

int abolish_table_predicate CTXTdeclc  Psc  )  [inline]
 

int abolish_usermod_tables CTXTdecl   ) 
 

void breg_retskel CTXTdecl   ) 
 

Cell build_ret_term CTXTdeclc  int,
Cell  []
 

void construct_answer_template CTXTdeclc  Cell,
SubProdSF  ,
Cell  []
 

void delete_branch CTXTdeclc  BTNptr,
BTNptr
 

void delete_interned_trie CTXTdeclc  Integer  ) 
 

void delete_predicate_table CTXTdeclc  TIFptr  ) 
 

void delete_return CTXTdeclc  BTNptr,
VariantSF 
 

void delete_trie CTXTdeclc  BTNptr  ) 
 

void delete_variant_sf_and_answers CTXTdeclc VariantSF  pSF  ) 
 

int fast_abolish_table_predicate CTXTdeclc  Psc  ) 
 

int gc_tabled_preds CTXTdecl   ) 
 

VariantSF get_call CTXTdeclc  Cell,
Cell
 

SubProdSF get_subsumer_sf CTXTdeclc  Cell,
TIFptr  ,
Cell
 

BTNptr get_trie_root BTNptr   ) 
 

VariantSF get_variant_sf CTXTdeclc  Cell,
TIFptr  ,
Cell
 

xsbBool has_unconditional_answers VariantSF   ) 
 

void init_newtrie CTXTdecl   ) 
 

xsbBool is_completed_table TIFptr   ) 
 

Integer newtrie CTXTdecl   ) 
 

void reclaim_del_ret_list CTXTdeclc  VariantSF  ) 
 

void reclaim_uninterned_nr CTXTdeclc long  rootidx  ) 
 

void safe_delete_branch BTNptr   ) 
 

void trie_dispose CTXTdecl   ) 
 

void trie_dispose_nr CTXTdecl   ) 
 

void trie_intern CTXTdecl   ) 
 

int trie_interned CTXTdecl   ) 
 

void trie_undispose CTXTdeclc  long,
BTNptr 
 

void undelete_branch BTNptr   ) 
 


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