
Home class for posting propagators More...
#include <core.hpp>
Protected Attributes | |
| Space & | s |
| The space where the propagator is to be posted. | |
| Propagator * | p |
| A propagator (possibly) that is currently being rewritten. | |
| PropagatorGroup | pg |
| A propagator group. | |
| BrancherGroup | bg |
| A brancher group. | |
Conversion | |
| Home (Space &s, Propagator *p=NULL, PropagatorGroup pg=PropagatorGroup::def, BrancherGroup bg=BrancherGroup::def) | |
| Initialize the home with space s and propagator p and group g. | |
| Home & | operator= (const Home &h) |
| Assignment operator. | |
| operator Space & (void) | |
| Retrieve the space of the home. | |
Extended information | |
| Home | operator() (Propagator &p) |
| Return a home extended by propagator to be rewritten. | |
| Home | operator() (PropagatorGroup pg) |
| Return a home extended by a propagator group. | |
| Home | operator() (BrancherGroup bg) |
| Return a home extended by a brancher group. | |
| Propagator * | propagator (void) const |
| Return propagator (or NULL) for currently rewritten propagator. | |
| PropagatorGroup | propagatorgroup (void) const |
| Return propagator group. | |
| BrancherGroup | branchergroup (void) const |
| Return brancher group. | |
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, bool duplicate=false) |
| Notice actor property. | |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |
|
protected |
|
protected |
|
protected |