statistics.h
Go to the documentation of this file.
Definition of the boolean type. void SaveStatistics(FILE *f, Tstatistics *t) Saves the statistics to a file in binary format. Definition: statistics.c:260 void ResetNBoxReductions(Tstatistics *t) Resets the number of reduced boxes. Definition: statistics.c:196 void InitStatistics(unsigned int np, double v, Tstatistics *t) Constructor. Definition: statistics.c:21 void LoadStatistics(FILE *f, Tstatistics *t) Loads the statistics from a file in binary format. Definition: statistics.c:266 void NewBoxReduction(Tstatistics *t) Increases the number of reduced boxes. Definition: statistics.c:181 unsigned int GetNBoxReductions(Tstatistics *t) Gets the number of reduced boxes. Definition: statistics.c:186 void AddNBoxReductions(unsigned int nr, Tstatistics *t) Increases the number of reduced boxes. Definition: statistics.c:201 void PrintStatistics(FILE *f, Tstatistics *t) Prints the statistics to a file. Definition: statistics.c:209 void CopyStatistics(Tstatistics *t_dst, Tstatistics *t_src) Copy constructor. Definition: statistics.c:45 void NewSplittedBox(Tstatistics *t) Increases the number of splitted boxes. Definition: statistics.c:156 unsigned int n_validated_solution_boxes Definition: statistics.h:43 unsigned int GetNSolutionBoxes(Tstatistics *t) Gets the number of solution boxes. Definition: statistics.c:191 void NewBoxProcessed(Tstatistics *t) Increases the number of processed boxes. Definition: statistics.c:126 void NewSolutionBox(boolean validated, double v, double d, Tstatistics *t) Increases the number of solution boxes. Definition: statistics.c:134 void NewRBError(Tstatistics *t) Increases the number of errors when reducing a boxe. Definition: statistics.c:165 void NewMaxLevel(unsigned int m, Tstatistics *t) Sets a new maximum level. Definition: statistics.c:117 |
Follow us!