Wait propagator for single view.
More...
#include <wait.hh>
List of all members.
Detailed Description
Wait propagator for single view.
Requires
Constructor & Destructor Documentation
Gecode::Kernel::UnaryWait::UnaryWait |
( |
Space & |
home, |
|
|
View |
x, |
|
|
void(*)(Space &) |
c0 |
|
) |
| [inline, protected] |
Constructor for creation.
Definition at line 112 of file wait.hh.
Gecode::Kernel::UnaryWait::UnaryWait |
( |
Space & |
home, |
|
|
bool |
shared, |
|
|
UnaryWait & |
p |
|
) |
| [inline, protected] |
Constructor for cloning p.
Definition at line 118 of file wait.hh.
Member Function Documentation
Actor * Gecode::Kernel::UnaryWait::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
Post propagator that waits until x becomes assigned and then executes c.
Definition at line 141 of file wait.hh.
size_t Gecode::Kernel::UnaryWait::dispose |
( |
Space & |
home | ) |
[virtual] |
Member Data Documentation
View to wait for becoming assigned.
Definition at line 55 of file wait.hh.
Continuation to execute.
Definition at line 57 of file wait.hh.
The documentation for this class was generated from the following file: