F4::Stat Struct Reference

Structure used for statistics. More...

#include <ideal.h>

Public Attributes
int	_nbCp
int	_nbCpDeg
int	_cmptGenPurg
int	_cmptNewGen
clock_t	_timePurgeCp
clock_t	_timeAddCp
clock_t	_timeMajBasis

Detailed Description

Structure used for statistics.

Definition at line 47 of file ideal.h.

Member Data Documentation

int F4::Stat::_cmptGenPurg

Number of purged genarators

Definition at line 51 of file ideal.h.

int F4::Stat::_cmptNewGen

Number of new generators

Definition at line 52 of file ideal.h.

int F4::Stat::_nbCp

Number of critical pairs

Definition at line 49 of file ideal.h.

int F4::Stat::_nbCpDeg

Number of critical pairs of the step degree

Definition at line 50 of file ideal.h.

clock_t F4::Stat::_timeAddCp

Time to add critical pair in the AVL of critical pairs

Definition at line 54 of file ideal.h.

clock_t F4::Stat::_timeMajBasis

Time to update the basis

Definition at line 55 of file ideal.h.

clock_t F4::Stat::_timePurgeCp

Time used to purge the critical pair (Buchberger criteria)

Definition at line 53 of file ideal.h.

---

The documentation for this struct was generated from the following file:

• /home/titouan/Bureau/openf4-1.0.1/openf4/include/ideal.h