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 (const Home &h) | |
Copy constructor. | |
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 |
|
inline |
|
protected |
|
protected |
|
protected |
|
protected |