Quarternary Boolean disjunction propagator (true)
More...
#include <bool.hh>
List of all members.
Public Member Functions |
| QuadOrTrue (Space &home, bool share, Propagator &p, BV b0, BV b1, BV b2, BV b3) |
| Constructor for rewriting p during cloning.
|
virtual Actor * | copy (Space &home, bool share) |
| Copy propagator during cloning.
|
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, BV b0, BV b1, BV b2, BV b3) |
| Post propagator .
|
Protected Member Functions |
| QuadOrTrue (Home home, BV b0, BV b1, BV b2, BV b3) |
| Constructor for posting.
|
| QuadOrTrue (Space &home, bool share, QuadOrTrue &p) |
| Constructor for cloning p.
|
Protected Attributes |
BV | x2 |
| Boolean view without subscription.
|
BV | x3 |
| Boolean view without subscription.
|
Detailed Description
Quarternary Boolean disjunction propagator (true)
Requires
Constructor & Destructor Documentation
Gecode::Int::Bool::QuadOrTrue::QuadOrTrue |
( |
Home |
home, |
|
|
BV |
b0, |
|
|
BV |
b1, |
|
|
BV |
b2, |
|
|
BV |
b3 |
|
) |
| [inline, protected] |
Constructor for posting.
Definition at line 289 of file or.hpp.
Gecode::Int::Bool::QuadOrTrue::QuadOrTrue |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
QuadOrTrue & |
p |
|
) |
| [protected] |
Constructor for cloning p.
Gecode::Int::Bool::QuadOrTrue::QuadOrTrue |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
Propagator & |
p, |
|
|
BV |
b0, |
|
|
BV |
b1, |
|
|
BV |
b2, |
|
|
BV |
b3 |
|
) |
| [inline] |
Constructor for rewriting p during cloning.
Definition at line 309 of file or.hpp.
Member Function Documentation
Actor * Gecode::Int::Bool::QuadOrTrue::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
Copy propagator during cloning.
Definition at line 318 of file or.hpp.
Perform propagation.
Definition at line 341 of file or.hpp.
ExecStatus Gecode::Int::Bool::QuadOrTrue::post |
( |
Home |
home, |
|
|
BV |
b0, |
|
|
BV |
b1, |
|
|
BV |
b2, |
|
|
BV |
b3 |
|
) |
| [inline, static] |
Post propagator
.
Definition at line 334 of file or.hpp.
size_t Gecode::Int::Bool::QuadOrTrue::dispose |
( |
Space & |
home | ) |
[inline, virtual] |
Member Data Documentation
Boolean view without subscription.
Definition at line 300 of file bool.hh.
Boolean view without subscription.
Definition at line 302 of file bool.hh.
The documentation for this class was generated from the following files: