Gecode::Kernel::GPI Class Reference
Global propagator information.
More...
#include <gpi.hpp>
List of all members.
Classes |
| class | Info |
| | Class for storing propagator information. More...
|
Public Member Functions |
| | GPI (void) |
| | Initialize.
|
| void | decay (double d) |
| | Set decay factor to d.
|
| double | decay (void) const |
| | Return decay factor.
|
| void | fail (Info &c) |
| | Increment failure count.
|
| Info * | allocate (unsigned int p, unsigned int gid) |
| | Allocate info for existing propagator with pid p.
|
| Info * | allocate (unsigned int gid) |
| | Allocate new actor info.
|
| unsigned int | pid (void) const |
| | Return next free propagator id.
|
| bool | unshare (void) |
| | Provide access to unshare info and set to true.
|
| | ~GPI (void) |
| | Delete.
|
Detailed Description
Global propagator information.
Definition at line 39 of file gpi.hpp.
Constructor & Destructor Documentation
| Gecode::Kernel::GPI::GPI |
( |
void |
|
) |
[inline] |
Initialize.
Definition at line 122 of file gpi.hpp.
| Gecode::Kernel::GPI::~GPI |
( |
void |
|
) |
[inline] |
Member Function Documentation
| void Gecode::Kernel::GPI::decay |
( |
double |
d |
) |
[inline] |
| double Gecode::Kernel::GPI::decay |
( |
void |
|
) |
const [inline] |
Return decay factor.
Definition at line 136 of file gpi.hpp.
| void Gecode::Kernel::GPI::fail |
( |
Info & |
c |
) |
[inline] |
Increment failure count.
Definition at line 126 of file gpi.hpp.
| 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.
| GPI::Info * Gecode::Kernel::GPI::allocate |
( |
unsigned int |
gid |
) |
[inline] |
Allocate new actor info.
Definition at line 184 of file gpi.hpp.
| unsigned int Gecode::Kernel::GPI::pid |
( |
void |
|
) |
const [inline] |
Return next free propagator id.
Definition at line 145 of file gpi.hpp.
| 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: