- Gecode
- PostInfo

Class to set group information when a post function is executed. More...
#include <core.hpp>
Public Member Functions | |
| PostInfo (Home home) | |
| Set information. More... | |
| ~PostInfo (void) | |
| Reset information. More... | |
Protected Attributes | |
| Space & | h |
| The home space. More... | |
| PropagatorGroup | pg |
| The propagator group. More... | |
| unsigned int | pid |
| Next free propagator id. More... | |
| bool | nested |
| Whether it is used nested. More... | |
Class to set group information when a post function is executed.
|
inline |
|
inline |
|
protected |
|
protected |
|
protected |