Nary Boolean less or equal propagator.
More...
#include <bool.hh>
List of all members.
Detailed Description
Nary Boolean less or equal propagator.
Requires
Constructor & Destructor Documentation
Gecode::Int::Bool::NaryLq::NaryLq |
( |
Home |
home, |
|
|
ViewArray< VX > & |
x |
|
) |
| [inline, protected] |
Constructor for posting.
Definition at line 114 of file lq.hpp.
Gecode::Int::Bool::NaryLq::NaryLq |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
NaryLq< VX > & |
p |
|
) |
| [inline, protected] |
Constructor for cloning p.
Definition at line 122 of file lq.hpp.
Member Function Documentation
Actor * Gecode::Int::Bool::NaryLq::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
Copy propagator during cloning.
Definition at line 130 of file lq.hpp.
Give advice to propagator.
Definition at line 168 of file lq.hpp.
Perform propagation.
Definition at line 188 of file lq.hpp.
Post propagator
.
Definition at line 136 of file lq.hpp.
size_t Gecode::Int::Bool::NaryLq::dispose |
( |
Space & |
home | ) |
[inline, virtual] |
Member Data Documentation
Whether the propagator is currently running.
Definition at line 187 of file bool.hh.
The number of views assigned to zero in x.
Definition at line 189 of file bool.hh.
The number of views assigned to one in x.
Definition at line 191 of file bool.hh.
The advisor council.
Definition at line 193 of file bool.hh.
The documentation for this class was generated from the following files: