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