tst_utils.h File Reference

Functions
char *	stringNodeType (byte)
char *	stringTrieType (byte)
void	printTrieSymbol (FILE *, Cell)
void	printTrieNode (FILE *, BTNptr)
void	printTriePath (FILE *, BTNptr, xsbBool)
void	printAnswerTemplate (FILE *, CPtr, int)
void	sfPrintGoal (FILE *, VariantSF, xsbBool)
void	sfPrintConsGoals (FILE *, VariantSF)
void	printAnswerList (FILE *, ALNptr)
void	printTabledCall (FILE *, TabledCallInfo)
void	printTriePathType (FILE *, TriePathType, BTNptr)

---

Function Documentation

void printAnswerList (  FILE *  , ALNptr  )

void printAnswerTemplate (  FILE *  , CPtr  , int  )

void printTabledCall (  FILE *  , TabledCallInfo  )

void printTrieNode (  FILE *  , BTNptr  )

void printTriePath (  FILE *  , BTNptr  , xsbBool  )

void printTriePathType (  FILE *  , TriePathType  , BTNptr  )

void printTrieSymbol (  FILE *  , Cell  )

void sfPrintConsGoals (  FILE *  , VariantSF  )

void sfPrintGoal (  FILE *  , VariantSF  , xsbBool  )

char* stringNodeType (  byte   )

char* stringTrieType (  byte   )

---