Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Gecode::StatusStatistics Class Reference

Statistics for execution of status More...

#include <core.hpp>

Public Member Functions

 StatusStatistics (void)
 Initialize.
void reset (void)
 Reset information.
StatusStatistics operator+ (const StatusStatistics &s)
 Return sum with s.
StatusStatisticsoperator+= (const StatusStatistics &s)
 Increment by statistics s.

Public Attributes

unsigned long int propagate
 Number of propagator executions.

Detailed Description

Statistics for execution of status

Definition at line 1693 of file core.hpp.

Constructor & Destructor Documentation

◆ StatusStatistics()

Gecode::StatusStatistics::StatusStatistics ( void )
inline

Initialize.

Definition at line 4701 of file core.hpp.

Member Function Documentation

◆ reset()

void Gecode::StatusStatistics::reset ( void )
inline

Reset information.

Definition at line 4697 of file core.hpp.

◆ operator+()

StatusStatistics Gecode::StatusStatistics::operator+ ( const StatusStatistics & s)
inline

Return sum with s.

Definition at line 4710 of file core.hpp.

◆ operator+=()

StatusStatistics & Gecode::StatusStatistics::operator+= ( const StatusStatistics & s)
inline

Increment by statistics s.

Definition at line 4705 of file core.hpp.

Member Data Documentation

◆ propagate

unsigned long int Gecode::StatusStatistics::propagate

Number of propagator executions.

Definition at line 1696 of file core.hpp.


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