Reified equality propagator
More...
#include <rel.hh>
List of all members.
Public Member Functions |
virtual Actor * | copy (Space &home, bool) |
| Copy propagator during cloning.
|
virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
| Cost function (defined as PC_TERNARY_LO)
|
virtual size_t | dispose (Space &home) |
| Delete propagator and return its size.
|
virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
| Perform propagation.
|
Static Public Member Functions |
static ExecStatus | post (Home home, View0 x, View1 y, Gecode::Int::BoolView b) |
| Post propagator for .
|
Protected Member Functions |
| ReEq (Space &home, bool share, ReEq &) |
| Constructor for cloning p.
|
| ReEq (Home home, View0, View1, Gecode::Int::BoolView) |
| Constructor for posting.
|
Protected Attributes |
View0 | x0 |
View1 | x1 |
Gecode::Int::BoolView | b |
Detailed Description
Reified equality propagator
Requires
Constructor & Destructor Documentation
Gecode::Set::Rel::ReEq::ReEq |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
ReEq & |
p |
|
) |
| [inline, protected] |
Constructor for cloning p.
Definition at line 57 of file re-eq.hpp.
Constructor for posting.
Definition at line 47 of file re-eq.hpp.
Member Function Documentation
Actor * Gecode::Set::Rel::ReEq::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
size_t Gecode::Set::Rel::ReEq::dispose |
( |
Space & |
home | ) |
[inline, virtual] |
Post propagator for
.
Definition at line 82 of file re-eq.hpp.
Member Data Documentation
The documentation for this class was generated from the following files: