Class for storing timed-decay value. More...
#include <global-afc.hpp>
Public Member Functions | |
void | init (void) |
Initialize. More... | |
Public Attributes | |
double | c |
The counter value. More... | |
unsigned long int | t |
The time-stamp. More... | |
Class for storing timed-decay value.
Definition at line 46 of file global-afc.hpp.
|
inline |
Initialize.
Definition at line 159 of file global-afc.hpp.
double Gecode::GlobalAFC::Counter::c |
The counter value.
Definition at line 49 of file global-afc.hpp.
unsigned long int Gecode::GlobalAFC::Counter::t |
The time-stamp.
Definition at line 51 of file global-afc.hpp.