Lexical disequality propagator.
More...
#include <rel.hh>
List of all members.
Public Member Functions |
virtual Actor * | copy (Space &home, bool share) |
| Copy propagator during cloning.
|
virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
| Cost function.
|
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< View > &x, ViewArray< View > &y) |
| Post propagator .
|
Protected Member Functions |
ExecStatus | resubscribe (Space &home, RelTest rt, View &x0, View &y0, View x1, View y1) |
| Update subscription.
|
| LexNq (Home home, ViewArray< View > &x, ViewArray< View > &y) |
| Constructor for posting.
|
| LexNq (Space &home, bool share, LexNq< View > &p) |
| Constructor for cloning p.
|
Protected Attributes |
View | x0 |
| Views currently subscribed to.
|
View | y0 |
View | x1 |
View | y1 |
ViewArray< View > | x |
| Views not yet subscribed to.
|
ViewArray< View > | y |
Detailed Description
Lexical disequality propagator.
Requires
Constructor & Destructor Documentation
Gecode::Int::Rel::LexNq::LexNq |
( |
Home |
home, |
|
|
ViewArray< View > & |
x, |
|
|
ViewArray< View > & |
y |
|
) |
| [inline, protected] |
Constructor for posting.
Definition at line 263 of file lex.hpp.
Gecode::Int::Rel::LexNq::LexNq |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
LexNq< View > & |
p |
|
) |
| [inline, protected] |
Constructor for cloning p.
Definition at line 284 of file lex.hpp.
Member Function Documentation
ExecStatus Gecode::Int::Rel::LexNq::resubscribe |
( |
Space & |
home, |
|
|
RelTest |
rt, |
|
|
View & |
x0, |
|
|
View & |
y0, |
|
|
View |
x1, |
|
|
View |
y1 |
|
) |
| [inline, protected] |
Update subscription.
Definition at line 366 of file lex.hpp.
Actor * Gecode::Int::Rel::LexNq::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
Post propagator
.
Definition at line 322 of file lex.hpp.
size_t Gecode::Int::Rel::LexNq::dispose |
( |
Space & |
home | ) |
[inline, virtual] |
Member Data Documentation
Views currently subscribed to.
Definition at line 631 of file rel.hh.
Views not yet subscribed to.
Definition at line 633 of file rel.hh.
The documentation for this class was generated from the following files: