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