Gecode::PropInfo Class Reference

Class for propagator information. More...

#include <global-prop-info.hpp>

List of all members.

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)