Propagator for the match constraint
More...
#include <int.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_LINEAR_LO)
|
virtual size_t | dispose (Space &home) |
| Delete Propagator.
|
virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
| Perform propagation.
|
Static Public Member Functions |
static ExecStatus | post (Home home, View s, ViewArray< Gecode::Int::IntView > &x) |
| Post propagator that propagates that s contains the , which are sorted in non-descending order.
|
Protected Member Functions |
| Match (Space &home, bool share, Match &p) |
| Constructor for cloning p.
|
| Match (Home home, View, ViewArray< Gecode::Int::IntView > &) |
| Constructor for posting.
|
Protected Attributes |
View | x0 |
| SetView for the match.
|
ViewArray< Gecode::Int::IntView > | xs |
| IntViews that together form the set x0.
|
Detailed Description
Propagator for the match constraint
Requires
Constructor & Destructor Documentation
Gecode::Set::Int::Match::Match |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
Match & |
p |
|
) |
| [inline, protected] |
Constructor for cloning p.
Definition at line 60 of file match.hpp.
Constructor for posting.
Definition at line 52 of file match.hpp.
Member Function Documentation
Actor * Gecode::Set::Int::Match::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
size_t Gecode::Set::Int::Match::dispose |
( |
Space & |
home | ) |
[inline, virtual] |
Post propagator that propagates that s contains the
, which are sorted in non-descending order.
Definition at line 68 of file match.hpp.
Member Data Documentation
IntViews that together form the set x0.
Definition at line 267 of file int.hh.
The documentation for this class was generated from the following files: