tst_utils.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include <stdlib.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "binding.h"
#include "psc_xsb.h"
#include "register.h"
#include "deref.h"
#include "trie_internals.h"
#include "tst_aux.h"
#include "macro_xsb.h"
#include "choice.h"
#include "inst_xsb.h"
#include "error_xsb.h"

Defines
#define	IntegerFormatString   "%d"
Functions
void	printterm (FILE *, Cell, int)
void	tstInitDataStructs (CTXTdecl)
void	tstShrinkDynStacks (CTXTdecl)
char *	stringNodeStatus (byte fieldNodeStatus)
char *	stringTrieType (byte fieldTrieType)
char *	stringNodeType (byte fieldNodeType)
void	printTrieSymbol (FILE *fp, Cell symbol)
void	printTrieNode (FILE *fp, BTNptr pTN)
static void	symstkPrintNextTerm (CTXTdeclc FILE *fp, xsbBool list_recursion)
void	printTriePath (CTXTdeclc FILE *fp, BTNptr pLeaf, xsbBool printLeafAddr)
void	printAnswerTemplate (FILE *fp, CPtr pAnsTmplt, int size)
void	sfPrintGoal (CTXTdeclc FILE *fp, VariantSF pSF, xsbBool printAddr)
void	sfPrintConsGoals (CTXTdeclc FILE *fp, SubProdSF pProd)
void	printAnswerList (CTXTdeclc FILE *fp, ALNptr pALN)
void	printTabledCall (FILE *fp, TabledCallInfo callInfo)
void	printTriePathType (CTXTdeclc FILE *fp, TriePathType type, BTNptr leaf)
Variables
DynamicStack	tstTermStack
DynamicStack	tstTermStackLog
DynamicStack	tstSymbolStack
DynamicStack	tstTrail
char *	TrieTypeStrings []
char *	NodeTypeStrings []

---

Define Documentation

#define IntegerFormatString   "%d"

---

Function Documentation

void printAnswerList (  CTXTdeclc FILE *  fp, ALNptr  pALN )

void printAnswerTemplate (  FILE *  fp, CPtr  pAnsTmplt, int  size )

void printTabledCall (  FILE *  fp, TabledCallInfo  callInfo )

void printterm (  FILE *  , Cell  , int  )

void printTrieNode (  FILE *  fp, BTNptr  pTN )

void printTriePath (  CTXTdeclc FILE *  fp, BTNptr  pLeaf, xsbBool  printLeafAddr )

void printTriePathType (  CTXTdeclc FILE *  fp, TriePathType  type, BTNptr  leaf )

void printTrieSymbol (  FILE *  fp, Cell  symbol )

void sfPrintConsGoals (  CTXTdeclc FILE *  fp, SubProdSF  pProd )

void sfPrintGoal (  CTXTdeclc FILE *  fp, VariantSF  pSF, xsbBool  printAddr )

char* stringNodeStatus (  byte  fieldNodeStatus  )

char* stringNodeType (  byte  fieldNodeType  )

char* stringTrieType (  byte  fieldTrieType  )

static void symstkPrintNextTerm (  CTXTdeclc FILE *  fp, xsbBool  list_recursion )  [static]

void tstInitDataStructs (  CTXTdecl   )

void tstShrinkDynStacks (  CTXTdecl   )

---

Variable Documentation

char* NodeTypeStrings[]

Initial value: { "Interior", "Indexed Interior", "Leaf", "Indexed Leaf", "Index Header", "--", "--", "--", "Root", }

char* TrieTypeStrings[]

Initial value: { "Call Trie", "Basic Answer Trie", "Time-Stamped Answer Trie", "Delay Trie", "Asserted Trie", "Interned Trie", "--" }

DynamicStack tstSymbolStack

DynamicStack tstTermStack

DynamicStack tstTermStackLog

DynamicStack tstTrail

---