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]
 


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