Home class for posting propagators
More...
#include <core.hpp>
Home class for posting propagators
Definition at line 717 of file core.hpp.
◆ Home()
Initialize the home with space s and propagator p.
Definition at line 2887 of file core.hpp.
◆ operator=()
Home & Gecode::Home::operator= |
( |
const Home & |
h | ) |
|
|
inline |
Assignment operator.
Definition at line 2889 of file core.hpp.
◆ operator Space &()
Gecode::Home::operator Space & |
( |
void |
| ) |
|
|
inline |
Retrieve the space of the home.
Definition at line 2894 of file core.hpp.
◆ operator()()
Return a home extended by propagator to be rewritten.
Definition at line 2898 of file core.hpp.
◆ propagator()
Propagator * Gecode::Home::propagator |
( |
void |
| ) |
const |
|
inline |
Return propagator (or NULL) for currently rewritten propagator.
Definition at line 2906 of file core.hpp.
◆ failed()
bool Gecode::Home::failed |
( |
void |
| ) |
const |
|
inline |
Check whether corresponding space is failed.
Definition at line 3446 of file core.hpp.
◆ fail()
void Gecode::Home::fail |
( |
void |
| ) |
|
|
inline |
Mark space as failed.
Definition at line 3437 of file core.hpp.
◆ notice()
Notice actor property.
Definition at line 2849 of file core.hpp.
The space where the propagator is to be posted.
Definition at line 720 of file core.hpp.
A propagator (possibly) that is currently being rewritten.
Definition at line 722 of file core.hpp.
The documentation for this class was generated from the following file: