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.
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.

void Gecode::StatusStatistics::reset ( void )

inline

Reset information.

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.

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: