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