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
Definition at line 713 of file core.hpp.
