|
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) |