statistics.h

Go to the documentation of this file.

#ifndef STATISTICSH
#define STATISTICSH

#include "boolean.h"

#include <time.h>
#include <sys/times.h>
#include <stdio.h>


typedef struct { 

  double t_init; 
  unsigned int np; 
  double volume; 
  double s_volume; 
  double s_diagonal;   
  unsigned int n_max_level;             
  unsigned int n_processed_boxes;       
  unsigned int n_solution_boxes;        
  unsigned int n_validated_solution_boxes; 
  unsigned int n_empty_boxes;           
  unsigned int n_splitted_boxes;        
  unsigned int n_lost_boxes;            
  unsigned int n_box_reductions;        
  unsigned int n_errors;                
} Tstatistics;

void InitStatistics(unsigned int np,double v,Tstatistics *t);

void CopyStatistics(Tstatistics *t_dst,Tstatistics *t_src);

double GetTime(Tstatistics *t);

double GetElapsedTime(Tstatistics *t);

double GetInitialTime(Tstatistics *t);


void SetInitialTime(double tm,Tstatistics *t);

void NewMaxLevel(unsigned int m,Tstatistics *t);

void NewBoxProcessed(Tstatistics *t);

void NewSolutionBox(boolean validated,double v,double d,Tstatistics *t);

void NewEmptyBox(Tstatistics *t);

void NewSplittedBox(Tstatistics *t);

void NewRBError(Tstatistics *t);

void NewLostBox(Tstatistics *t);

void NewBoxReduction(Tstatistics *t);

unsigned int GetNBoxReductions(Tstatistics *t);

unsigned int GetNSolutionBoxes(Tstatistics *t);

void ResetNBoxReductions(Tstatistics *t);

void AddNBoxReductions(unsigned int nr,Tstatistics *t);

void PrintStatistics(FILE *f,Tstatistics *t);

void SaveStatistics(FILE *f,Tstatistics *t);

void LoadStatistics(FILE *f,Tstatistics *t);

void DeleteStatistics(Tstatistics *t);

#endif