Protected Attributes |
Space & | s |
| The space where the propagator is to be posted.
|
Propagator * | p |
| A propagator (possibly) that is currently being rewritten.
|
Conversion |
| Home (Space &s, Propagator *p=NULL) |
| Initialize the home with space s and propagator p.
|
| operator Space & (void) |
| Retrieve the space of the home.
|
Extended information |
Home | operator() (Propagator &p) |
| Return a home extended by propagator to be rewritten.
|
Propagator * | propagator (void) const |
| Return propagator (or NULL) for currently rewritten propagator.
|
Forwarding of common space operations |
bool | failed (void) const |
| Check whether corresponding space is failed.
|
void | fail (void) |
| Mark space as failed.
|
void | notice (Actor &a, ActorProperty p) |
| Notice actor property.
|
Home class for posting propagators