Reified bounds 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 bounds consistent propagator .
|
Protected Member Functions |
| ReEqBndInt (Space &home, bool share, ReEqBndInt &p) |
| Constructor for cloning p.
|
| ReEqBndInt (Home home, View x, int c, CtrlView b) |
| Constructor for posting.
|
Protected Attributes |
int | c |
| Integer constant to check.
|
Detailed Description
Reified bounds consistent equality with integer propagator.
Requires
Constructor & Destructor Documentation
Gecode::Int::Rel::ReEqBndInt::ReEqBndInt |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
ReEqBndInt & |
p |
|
) |
| [inline, protected] |
Constructor for cloning p.
Definition at line 644 of file eq.hpp.
Gecode::Int::Rel::ReEqBndInt::ReEqBndInt |
( |
Home |
home, |
|
|
View |
x, |
|
|
int |
c, |
|
|
CtrlView |
b |
|
) |
| [inline, protected] |
Constructor for posting.
Definition at line 618 of file eq.hpp.
Member Function Documentation
Actor * Gecode::Int::Rel::ReEqBndInt::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
Copy propagator during cloning.
Definition at line 649 of file eq.hpp.
Perform propagation.
Definition at line 655 of file eq.hpp.
ExecStatus Gecode::Int::Rel::ReEqBndInt::post |
( |
Home |
home, |
|
|
View |
x, |
|
|
int |
c, |
|
|
CtrlView |
b |
|
) |
| [static] |
Post bounds consistent propagator
.
Definition at line 623 of file eq.hpp.
Member Data Documentation
Integer constant to check.
Definition at line 403 of file rel.hh.
The documentation for this class was generated from the following files: