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