C++ (Cpp) reset_subsumption_stats Beispiele

Beispiel #1

Datei: trace_xsb.c Projekt: flavioc/XSB

void perproc_reset_stat(void)
{
   tds = trace_init;
   reset_subsumption_stats();
   reset_maximum_tablespace_stats();
   ans_chk_ins = ans_inserts = 0;
   subg_chk_ins = subg_inserts = 0;
   time_start = cpu_time();
}

Beispiel #2

Datei: trace_xsb.c Projekt: KULeuven-KRR/IDP

void reset_stat_counters(void)
{
   reset_subsumption_stats();
   //   reset_maximum_tablespace_stats();
   ans_chk_ins = ans_inserts = 0;
   var_subg_chk_ins_gl = var_subg_inserts_gl = 0;
   dyn_incr_chk_ins_gl = dyn_incr_inserts_gl = 0;
   abol_subg_ctr = abol_pred_ctr = abol_all_ctr = 0;   
   time_start_gl = cpu_time();
}