Gecode::GlobalAFC::Counter Class Reference

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

#include <global-afc.hpp>

List of all members.

Public Member Functions
void	init (void)
	Initialize.
Public Attributes
double	c
	The counter value.
unsigned long int	t
	The time-stamp.

---

Detailed Description

Class for storing timed-decay value.

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

---

Member Function Documentation

void Gecode::GlobalAFC::Counter::init

(

void

)

[inline]

Initialize.

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

---

Member Data Documentation

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.

---

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

• gecode/kernel/global-afc.hpp (Revision: 13740)