Search engine statistics More...

#include <search.hh>

Public Member Functions
	Statistics (void)
	Initialize. More...

void	reset (void)
	Reset. More...

Statistics	operator+ (const Statistics &s)
	Return sum with s. More...

Statistics &	operator+= (const Statistics &s)
	Increment by statistics s. More...

Public Member Functions inherited from Gecode::StatusStatistics
	StatusStatistics (void)
	Initialize. More...

void	reset (void)
	Reset information. More...

StatusStatistics	operator+ (const StatusStatistics &s)
	Return sum with s. More...

StatusStatistics &	operator+= (const StatusStatistics &s)
	Increment by statistics s. More...

Public Attributes
unsigned long int	fail
	Number of failed nodes in search tree. More...

unsigned long int	node
	Number of nodes expanded. More...

unsigned long int	depth
	Maximum depth of search stack. More...

size_t	memory
	Peak memory allocated. More...

Public Attributes inherited from Gecode::StatusStatistics
unsigned long int	propagate
	Number of propagator executions. More...

bool	wmp
	Whether a weakly monotonic propagator might have been executed. More...

Detailed Description

Search engine statistics

Definition at line 105 of file search.hh.

Constructor & Destructor Documentation

Gecode::Search::Statistics::Statistics ( void )

inline

Initialize.

Definition at line 49 of file statistics.hpp.

void Gecode::Search::Statistics::reset ( void )

inline

Reset.

Definition at line 43 of file statistics.hpp.

Statistics Gecode::Search::Statistics::operator+ ( const Statistics & s )

inline

Return sum with s.

Definition at line 63 of file statistics.hpp.

Statistics & Gecode::Search::Statistics::operator+= ( const Statistics & s )

inline

Increment by statistics s.

Definition at line 53 of file statistics.hpp.

unsigned long int Gecode::Search::Statistics::fail

Number of failed nodes in search tree.

Definition at line 108 of file search.hh.

unsigned long int Gecode::Search::Statistics::node

Number of nodes expanded.

Definition at line 110 of file search.hh.

unsigned long int Gecode::Search::Statistics::depth

Maximum depth of search stack.

Definition at line 112 of file search.hh.

size_t Gecode::Search::Statistics::memory

Peak memory allocated.

Definition at line 114 of file search.hh.

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