Class to set group information when a post function is executed.
More...
#include <core.hpp>
Class to set group information when a post function is executed.
Definition at line 950 of file core.hpp.
◆ PostInfo()
Gecode::PostInfo::PostInfo |
( |
Home | home | ) |
|
|
inline |
◆ ~PostInfo()
Gecode::PostInfo::~PostInfo |
( |
void | | ) |
|
|
inline |
Reset information.
Definition at line 3371 of file core.hpp.
Space& Gecode::PostInfo::h |
|
protected |
The home space.
Definition at line 954 of file core.hpp.
◆ pg
The propagator group.
Definition at line 956 of file core.hpp.
◆ pid
unsigned int Gecode::PostInfo::pid |
|
protected |
Next free propagator id.
Definition at line 958 of file core.hpp.
◆ nested
bool Gecode::PostInfo::nested |
|
protected |
Whether it is used nested.
Definition at line 960 of file core.hpp.
The documentation for this class was generated from the following file: