Generated on Sat Feb 7 2015 02:01:40 for Gecode by doxygen 1.8.9.1
Gecode::GlobalAFC Class Reference

Globally shared object for propagator information. More...

#include <global-afc.hpp>

Classes

class  Counter
 Class for storing timed-decay value. More...
 

Public Member Functions

 GlobalAFC (void)
 Initialize. More...
 
 GlobalAFC (const GlobalAFC &ga)
 Copy during cloning. More...
 
 ~GlobalAFC (void)
 Destructor. More...
 
void decay (double d)
 Set decay factor to d. More...
 
double decay (void) const
 Return decay factor. More...
 
void fail (Counter &c)
 Increment failure count. More...
 
void set (Counter &c, double a)
 Set failure count to a. More...
 
double afc (Counter &c)
 Return failure count. More...
 
Counterallocate (void)
 Allocate new propagator info. More...
 

Detailed Description

Globally shared object for propagator information.

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

Constructor & Destructor Documentation

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.

Member Function Documentation

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.

void Gecode::GlobalAFC::set ( Counter c,
double  a 
)
inline

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: