trace_xsb.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "inst_xsb.h"
#include "memory_xsb.h"
#include "register.h"
#include "psc_xsb.h"
#include "table_stats.h"
#include "trie_internals.h"
#include "tries.h"
#include "macro_xsb.h"
#include "choice.h"
#include "flags_xsb.h"
#include "heap_xsb.h"
#include "thread_xsb.h"
#include "trace_xsb.h"

Functions
void	perproc_stat (void)
void	total_stat (CTXTdeclc double elapstime)
void	perproc_reset_stat (void)
void	reset_stat_total (void)
Variables
double	time_start
trace_str	tds
trace_str	ttt
trace_str	trace_init
static char *	pspace_cat [NUM_CATS_SPACE]

---

Function Documentation

void perproc_reset_stat (  void   )

void perproc_stat (  void   )

void reset_stat_total (  void   )

void total_stat (  CTXTdeclc double  elapstime  )

---

Variable Documentation

char* pspace_cat[NUM_CATS_SPACE] [static]

Initial value: {"atom ","string ","asserted ","compiled ", "foreign ","table ","findall ","profile ", "mt-private ","buffer ","gc temp ","hash ", "interprolog ","thread ","read canon ","leaking... ", "special ","other "}

struct trace_str tds

double time_start

struct trace_str trace_init

Initial value: { 0, 0, 0, 0, 0, 0, 0.0 }

struct trace_str ttt

---