Class for storing timed-decay value. More...
#include <gpi.hpp>
Public Member Functions | |
void | init (unsigned int pid, unsigned int gid) |
Initialize. More... | |
Public Attributes | |
unsigned int | pid |
Propagator identifier. More... | |
unsigned int | gid |
Group identifier. More... | |
double | afc |
The afc value. More... | |
|
inline |
unsigned int Gecode::GPI::Info::pid |
Propagator identifier.