Boolean n-ary disjunction propagator.
More...
#include <bool.hh>
List of all members.
Public Member Functions |
virtual Actor * | copy (Space &home, bool share) |
| Copy propagator during cloning.
|
virtual ExecStatus | advise (Space &home, Advisor &a, const Delta &d) |
| Give advice to propagator.
|
virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
| Cost function (defined as low unary)
|
virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
| Perform propagation.
|
virtual size_t | dispose (Space &home) |
| Delete propagator and return its size.
|
Static Public Member Functions |
static ExecStatus | post (Home home, ViewArray< VX > &x, VY y) |
| Post propagator .
|
Protected Member Functions |
| NaryOr (Home home, ViewArray< VX > &x, VY y) |
| Constructor for posting.
|
| NaryOr (Space &home, bool share, NaryOr< VX, VY > &p) |
| Constructor for cloning p.
|
Protected Attributes |
int | n_zero |
| The number of views assigned to zero in x.
|
Council< Advisor > | c |
| The advisor council.
|
Detailed Description
Boolean n-ary disjunction propagator.
Requires
Constructor & Destructor Documentation
Gecode::Int::Bool::NaryOr::NaryOr |
( |
Home |
home, |
|
|
ViewArray< VX > & |
x, |
|
|
VY |
y |
|
) |
| [inline, protected] |
Constructor for posting.
Definition at line 740 of file or.hpp.
Gecode::Int::Bool::NaryOr::NaryOr |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
NaryOr< VX, VY > & |
p |
|
) |
| [inline, protected] |
Constructor for cloning p.
Definition at line 748 of file or.hpp.
Member Function Documentation
Actor * Gecode::Int::Bool::NaryOr::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
Copy propagator during cloning.
Definition at line 756 of file or.hpp.
Give advice to propagator.
Definition at line 809 of file or.hpp.
Perform propagation.
Definition at line 830 of file or.hpp.
Post propagator
.
Definition at line 773 of file or.hpp.
size_t Gecode::Int::Bool::NaryOr::dispose |
( |
Space & |
home | ) |
[inline, virtual] |
Member Data Documentation
The number of views assigned to zero in x.
Definition at line 361 of file bool.hh.
The advisor council.
Definition at line 363 of file bool.hh.
The documentation for this class was generated from the following files: