
Home class for posting propagators More...
#include <core.hpp>
Protected Attributes | |
| Space & | s |
| The space where the propagator is to be posted. More... | |
| Propagator * | p |
| A propagator (possibly) that is currently being rewritten. More... | |
| PropagatorGroup | pg |
| A propagator group. More... | |
| BrancherGroup | bg |
| A brancher group. More... | |
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. More... | |
| Home & | operator= (const Home &h) |
| Assignment operator. More... | |
| operator Space & (void) | |
| Retrieve the space of the home. More... | |
Extended information | |
| Home | operator() (Propagator &p) |
| Return a home extended by propagator to be rewritten. More... | |
| Home | operator() (PropagatorGroup pg) |
| Return a home extended by a propagator group. More... | |
| Home | operator() (BrancherGroup bg) |
| Return a home extended by a brancher group. More... | |
| Propagator * | propagator (void) const |
| Return propagator (or NULL) for currently rewritten propagator. More... | |
| PropagatorGroup | propagatorgroup (void) const |
| Return propagator group. More... | |
| BrancherGroup | branchergroup (void) const |
| Return brancher group. More... | |
Forwarding of common space operations | |
| bool | failed (void) const |
| Check whether corresponding space is failed. More... | |
| void | fail (void) |
| Mark space as failed. More... | |
| void | notice (Actor &a, ActorProperty p, bool duplicate=false) |
| Notice actor property. More... | |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |
|
protected |
|
protected |
|
protected |