Gecode::PropInfo Class Reference

Class for propagator information. More...

#include <global-prop-info.hpp>

Public Member Functions
	PropInfo (void)
	Initialize.
void	init (void)
	Initialize.
double	afc (void) const
	Return accumulated failure count.
void	fail (GlobalPropInfo &gpi)
	Increment failure count.

Detailed Description

Class for propagator information.

Definition at line 43 of file global-prop-info.hpp.

Constructor & Destructor Documentation

Gecode::PropInfo::PropInfo ( void  )

inline

Initialize.

Definition at line 125 of file global-prop-info.hpp.

Member Function Documentation

void Gecode::PropInfo::init ( void  )

inline

Initialize.

Definition at line 128 of file global-prop-info.hpp.

double Gecode::PropInfo::afc ( void  ) const

inline

Return accumulated failure count.

Definition at line 132 of file global-prop-info.hpp.

void Gecode::PropInfo::fail ( GlobalPropInfo &  gpi )

inline

Increment failure count.

Definition at line 221 of file global-prop-info.hpp.

---

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

• gecode/kernel/global-prop-info.hpp (Revision: 9991)