tables.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include "debugs/debug_tables.h"
#include "debugs/debug_delay.h"
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "heap_xsb.h"
#include "memory_xsb.h"
#include "register.h"
#include "binding.h"
#include "psc_xsb.h"
#include "table_stats.h"
#include "trie_internals.h"
#include "macro_xsb.h"
#include "error_xsb.h"
#include "flags_xsb.h"
#include "tst_utils.h"
#include "loader_xsb.h"
#include "tables.h"
#include "thread_xsb.h"
#include "sub_tables_xsb_i.h"
#include "debug_xsb.h"

Defines
#define	subsumptive_smALN   smALN
Functions
VariantSF	NewProducerSF (CTXTdeclc BTNptr Leaf, TIFptr TableInfo)
static BTNptr	newCallIndex (CTXTdeclc Psc predicate)
void	table_call_search (CTXTdeclc TabledCallInfo *call_info, CallLookupResults *results)
BTNptr	table_answer_search (CTXTdeclc VariantSF producer, int size, int attv_num, CPtr templ, xsbBool *is_new)
void	table_consume_answer (CTXTdeclc BTNptr answer, int size, int attv_num, CPtr templ, TIFptr predicate)
ALNptr	table_identify_relevant_answers (CTXTdeclc SubProdSF prodSF, SubConsSF consSF, CPtr templ)
void	table_complete_entry (CTXTdeclc VariantSF producerSF)
TIFptr	New_TIF (CTXTdeclc Psc pPSC)
Variables
Structure_Manager	smProdSF
Structure_Manager	smConsSF
Structure_Manager	smVarSF
Structure_Manager	smALN

---

Define Documentation

#define subsumptive_smALN   smALN

---

Function Documentation

TIFptr New_TIF (  CTXTdeclc Psc  pPSC  )  [inline]

static BTNptr newCallIndex (  CTXTdeclc Psc  predicate  )  [inline, static]

VariantSF NewProducerSF (  CTXTdeclc BTNptr  Leaf, TIFptr  TableInfo )  [inline]

BTNptr table_answer_search (  CTXTdeclc VariantSF  producer, int  size, int  attv_num, CPtr  templ, xsbBool *  is_new )

void table_call_search (  CTXTdeclc TabledCallInfo *  call_info, CallLookupResults *  results )

void table_complete_entry (  CTXTdeclc VariantSF  producerSF  )

void table_consume_answer (  CTXTdeclc BTNptr  answer, int  size, int  attv_num, CPtr  templ, TIFptr  predicate )

ALNptr table_identify_relevant_answers (  CTXTdeclc SubProdSF  prodSF, SubConsSF  consSF, CPtr  templ )

---

Variable Documentation

Structure_Manager smALN

Initial value: SM_InitDecl(AnsListNode, ALNs_PER_BLOCK, "Answer List Node")

Structure_Manager smConsSF

Initial value: SM_InitDecl(subsumptive_consumer_sf, SUBGOAL_FRAMES_PER_BLOCK, "Subsumptive Consumer Subgoal Frame")

Structure_Manager smProdSF

Initial value: SM_InitDecl(subsumptive_producer_sf, SUBGOAL_FRAMES_PER_BLOCK, "Subsumptive Producer Subgoal Frame")

Structure_Manager smVarSF

Initial value: SM_InitDecl(variant_subgoal_frame, SUBGOAL_FRAMES_PER_BLOCK, "Variant Subgoal Frame")

---