Gecode::GlobalAFC Class Reference

Globally shared object for propagator information. More...

Classes
class	Counter
	Class for storing timed-decay value. More...
Public Member Functions
	GlobalAFC (void)
	Initialize.
	GlobalAFC (const GlobalAFC &ga)
	Copy during cloning.
	~GlobalAFC (void)
	Destructor.
void	decay (double d)
	Set decay factor to d.
double	decay (void) const
	Return decay factor.
void	fail (Counter &c)
	Increment failure count.
void	set (Counter &c, double a)
	Set failure count to a.
double	afc (Counter &c)
	Return failure count.
Counter &	allocate (void)
	Allocate new propagator info.

Detailed Description

Globally shared object for propagator information.

Definition at line 43 of file global-afc.hpp.

Gecode::GlobalAFC::GlobalAFC ( void ) [inline]

Initialize.

Definition at line 277 of file global-afc.hpp.

Gecode::GlobalAFC::GlobalAFC ( const GlobalAFC & ga ) [inline]

Copy during cloning.

Definition at line 283 of file global-afc.hpp.

Gecode::GlobalAFC::~GlobalAFC ( void ) [inline]

Destructor.

Definition at line 292 of file global-afc.hpp.

void Gecode::GlobalAFC::decay ( double d ) [inline]

Set decay factor to d.

Definition at line 353 of file global-afc.hpp.

double Gecode::GlobalAFC::decay ( void ) const [inline]

Return decay factor.

Definition at line 343 of file global-afc.hpp.

void Gecode::GlobalAFC::fail ( Counter & c ) [inline]

Increment failure count.

Definition at line 317 of file global-afc.hpp.

Set failure count to a.

Definition at line 325 of file global-afc.hpp.

double Gecode::GlobalAFC::afc ( Counter & c ) [inline]

Return failure count.

Definition at line 333 of file global-afc.hpp.

GlobalAFC::Counter & Gecode::GlobalAFC::allocate ( void ) [inline]

Allocate new propagator info.

Definition at line 361 of file global-afc.hpp.

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