sub_tables_xsb_i.h File Reference

#include "tst_aux.h"
#include "deref.h"

Functions
static CPtr	extract_template_from_lookup (CTXTdeclc CPtr ans_tmplt)
static CPtr	reconstruct_template_for_producer (CTXTdeclc TabledCallInfo *call_info, SubProdSF subsumer, CPtr ans_tmplt)
static CPtr	extract_template_from_insertion (CTXTdeclc CPtr ans_tmplt)
static void	subsumptive_call_search (CTXTdeclc TabledCallInfo *callStruct, CallLookupResults *results)
static void *	newAnswerSet (CTXTdeclc int n, TSTNptr Parent)
static TSTNptr	subsumptive_answer_search (CTXTdeclc SubProdSF sf, int nTerms, CPtr answerVector, xsbBool *isNew)

---

Function Documentation

static CPtr extract_template_from_insertion (  CTXTdeclc CPtr  ans_tmplt  )  [inline, static]

static CPtr extract_template_from_lookup (  CTXTdeclc CPtr  ans_tmplt  )  [inline, static]

static void* newAnswerSet (  CTXTdeclc int  n, TSTNptr  Parent )  [inline, static]

static CPtr reconstruct_template_for_producer (  CTXTdeclc TabledCallInfo *  call_info, SubProdSF  subsumer, CPtr  ans_tmplt )  [inline, static]

static TSTNptr subsumptive_answer_search (  CTXTdeclc SubProdSF  sf, int  nTerms, CPtr  answerVector, xsbBool *  isNew )  [inline, static]

static void subsumptive_call_search (  CTXTdeclc TabledCallInfo *  callStruct, CallLookupResults *  results )  [inline, static]

---