Reified domain consistent equality with integer propagator.
More...
#include <rel.hh>
List of all members.
Public Member Functions |
virtual Actor * | copy (Space &home, bool share) |
| Copy propagator during cloning.
|
virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
| Perform propagation.
|
Static Public Member Functions |
static ExecStatus | post (Home home, View x, int c, CtrlView b) |
| Post domain consistent propagator .
|
Protected Member Functions |
| ReEqDomInt (Space &home, bool share, ReEqDomInt &p) |
| Constructor for cloning p.
|
| ReEqDomInt (Home home, View x, int c, CtrlView b) |
| Constructor for posting.
|
Protected Attributes |
int | c |
| Integer constant to check.
|
Detailed Description
Reified domain consistent equality with integer propagator.
Requires
Constructor & Destructor Documentation
Gecode::Int::Rel::ReEqDomInt::ReEqDomInt |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
ReEqDomInt & |
p |
|
) |
| [inline, protected] |
Constructor for cloning p.
Definition at line 577 of file eq.hpp.
Gecode::Int::Rel::ReEqDomInt::ReEqDomInt |
( |
Home |
home, |
|
|
View |
x, |
|
|
int |
c, |
|
|
CtrlView |
b |
|
) |
| [inline, protected] |
Constructor for posting.
Definition at line 551 of file eq.hpp.
Member Function Documentation
Actor * Gecode::Int::Rel::ReEqDomInt::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
Copy propagator during cloning.
Definition at line 582 of file eq.hpp.
Perform propagation.
Definition at line 588 of file eq.hpp.
ExecStatus Gecode::Int::Rel::ReEqDomInt::post |
( |
Home |
home, |
|
|
View |
x, |
|
|
int |
c, |
|
|
CtrlView |
b |
|
) |
| [static] |
Post domain consistent propagator
.
Definition at line 556 of file eq.hpp.
Member Data Documentation
Integer constant to check.
Definition at line 376 of file rel.hh.
The documentation for this class was generated from the following files: