table_stats.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "psc_xsb.h"
#include "table_stats.h"
#include "trie_internals.h"
#include "macro_xsb.h"
#include "error_xsb.h"
#include "flags_xsb.h"
#include "debug_xsb.h"
#include "thread_xsb.h"

Functions
NodeStats	node_statistics (Structure_Manager *sm)
HashStats	hash_statistics (Structure_Manager *sm)
NodeStats	subgoal_statistics (CTXTdeclc Structure_Manager *sm)
void	print_detailed_tablespace_stats (CTXTdecl)
void	reset_maximum_tablespace_stats ()
void	compute_maximum_tablespace_stats (CTXTdecl)
void	update_maximum_tablespace_stats (NodeStats *btn, HashStats *btht, NodeStats *varsf, NodeStats *prodsf, NodeStats *conssf, NodeStats *aln, NodeStats *tstn, HashStats *tstht, NodeStats *tsi)
counter	maximum_timestamp_index_nodes ()
counter	maximum_answer_list_nodes ()
unsigned long	maximum_total_tablespace_usage ()
void	reset_subsumption_stats ()
void	print_detailed_subsumption_stats ()
Variables
struct {
counter   tsi
counter   alns
unsigned long   total_bytes
}	maxTableSpaceUsage
NumSubOps	numSubOps = INIT_NUMSUBOPS

---

Function Documentation

void compute_maximum_tablespace_stats (  CTXTdecl   )

HashStats hash_statistics (  Structure_Manager *  sm  )

counter maximum_answer_list_nodes (  void   )

counter maximum_timestamp_index_nodes (  void   )

unsigned long maximum_total_tablespace_usage (  void   )

NodeStats node_statistics (  Structure_Manager *  sm  )

void print_detailed_subsumption_stats (  void   )

void print_detailed_tablespace_stats (  CTXTdecl   )

void reset_maximum_tablespace_stats (  void   )

void reset_subsumption_stats (  void   )

NodeStats subgoal_statistics (  CTXTdeclc Structure_Manager *  sm  )

void update_maximum_tablespace_stats (  NodeStats *  btn, HashStats *  btht, NodeStats *  varsf, NodeStats *  prodsf, NodeStats *  conssf, NodeStats *  aln, NodeStats *  tstn, HashStats *  tstht, NodeStats *  tsi )

---

Variable Documentation

counter alns

struct { ... } maxTableSpaceUsage

NumSubOps numSubOps = INIT_NUMSUBOPS

unsigned long total_bytes

counter tsi

---