Class for storing timed-decay value.
More...
#include <gpi.hpp>
Class for storing timed-decay value.
Definition at line 46 of file gpi.hpp.
◆ init()
void Gecode::GPI::Info::init |
( |
unsigned int |
pid, |
|
|
unsigned int |
gid |
|
) |
| |
|
inline |
Initialize.
Definition at line 164 of file gpi.hpp.
◆ pid
unsigned int Gecode::GPI::Info::pid |
◆ gid
unsigned int Gecode::GPI::Info::gid |
double Gecode::GPI::Info::c |
The counter value.
Definition at line 55 of file gpi.hpp.
unsigned long int Gecode::GPI::Info::t |
The time-stamp.
Definition at line 57 of file gpi.hpp.
The documentation for this class was generated from the following file: