Gecode::StatusStatistics Class Reference

Statistics for execution of status More...

#include <core.hpp>

List of all members.

Public Member Functions
	StatusStatistics (void)
	Initialize.
void	reset (void)
	Reset information.
StatusStatistics	operator+ (const StatusStatistics &s)
	Return sum with s.
StatusStatistics &	operator+= (const StatusStatistics &s)
	Increment by statistics s.
Public Attributes
unsigned long int	propagate
	Number of propagator executions.
bool	wmp
	Whether a weakly monotonic propagator might have been executed.

---

Detailed Description

Statistics for execution of status

Definition at line 1129 of file core.hpp.

---

Constructor & Destructor Documentation

Gecode::StatusStatistics::StatusStatistics

(

void

)

[inline]

Initialize.

Definition at line 3430 of file core.hpp.

---

Member Function Documentation

void Gecode::StatusStatistics::reset

(

void

)

[inline]

Reset information.

Reimplemented in Gecode::Search::Worker, and Gecode::Search::Statistics.

Definition at line 3425 of file core.hpp.

StatusStatistics Gecode::StatusStatistics::operator+

(

const StatusStatistics &

s

)

[inline]

Return sum with s.

Definition at line 3440 of file core.hpp.

StatusStatistics & Gecode::StatusStatistics::operator+=

(

const StatusStatistics &

s

)

[inline]

Increment by statistics s.

Definition at line 3434 of file core.hpp.

---

Member Data Documentation

unsigned long int Gecode::StatusStatistics::propagate

Number of propagator executions.

Definition at line 1132 of file core.hpp.

bool Gecode::StatusStatistics::wmp

Whether a weakly monotonic propagator might have been executed.

Definition at line 1134 of file core.hpp.

---

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

• gecode/kernel/core.hpp (Revision: 12538)