Generated on Fri Jun 2 2017 20:49:43 for Gecode by doxygen 1.8.13
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

◆ GlobalAFC() [1/2]

Gecode::GlobalAFC::GlobalAFC ( void  )
inline

Initialize.

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

◆ GlobalAFC() [2/2]

Gecode::GlobalAFC::GlobalAFC ( const GlobalAFC ga)
inline

Copy during cloning.

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

◆ ~GlobalAFC()

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

Destructor.

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

Member Function Documentation

◆ decay() [1/2]

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

Set decay factor to d.

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

◆ decay() [2/2]

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

Return decay factor.

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

◆ fail()

void Gecode::GlobalAFC::fail ( Counter c)
inline

Increment failure count.

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

◆ set()

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

Set failure count to a.

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

◆ afc()

double Gecode::GlobalAFC::afc ( Counter c)
inline

Return failure count.

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

◆ allocate()

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: