Global propagator information.
More...
#include <gpi.hpp>
|
class | Info |
| Class for storing propagator information. More...
|
|
Global propagator information.
Definition at line 39 of file gpi.hpp.
◆ GPI()
Gecode::Kernel::GPI::GPI |
( |
void |
| ) |
|
|
inline |
Initialize.
Definition at line 122 of file gpi.hpp.
◆ ~GPI()
Gecode::Kernel::GPI::~GPI |
( |
void |
| ) |
|
|
inline |
◆ decay() [1/2]
void Gecode::Kernel::GPI::decay |
( |
double |
d | ) |
|
|
inline |
◆ decay() [2/2]
double Gecode::Kernel::GPI::decay |
( |
void |
| ) |
const |
|
inline |
Return decay factor.
Definition at line 136 of file gpi.hpp.
◆ fail()
void Gecode::Kernel::GPI::fail |
( |
Info & |
c | ) |
|
|
inline |
Increment failure count.
Definition at line 126 of file gpi.hpp.
◆ allocate() [1/2]
GPI::Info * Gecode::Kernel::GPI::allocate |
( |
unsigned int |
p, |
|
|
unsigned int |
gid |
|
) |
| |
|
inline |
Allocate info for existing propagator with pid p.
Definition at line 170 of file gpi.hpp.
◆ allocate() [2/2]
GPI::Info * Gecode::Kernel::GPI::allocate |
( |
unsigned int |
gid | ) |
|
|
inline |
Allocate new actor info.
Definition at line 184 of file gpi.hpp.
◆ pid()
unsigned int Gecode::Kernel::GPI::pid |
( |
void |
| ) |
const |
|
inline |
Return next free propagator id.
Definition at line 145 of file gpi.hpp.
◆ unshare()
bool Gecode::Kernel::GPI::unshare |
( |
void |
| ) |
|
|
inline |
Provide access to unshare info and set to true.
Definition at line 154 of file gpi.hpp.
The documentation for this class was generated from the following files: