Gecode::Set::Int::Match Class Reference
[Set propagators]
#include <int.hh>
Inherits Gecode::Propagator.
Detailed Description
Propagator for the match constraintRequires
#include "set/int.hh"
Definition at line 109 of file int.hh.
Public Member Functions | |
virtual Actor * | copy (Space *home, bool) |
Copy propagator during cloning. | |
virtual PropCost | cost (void) const |
Cost function (defined as PC_LINEAR_LO). | |
virtual | ~Match (void) |
Destructor. | |
virtual ExecStatus | propagate (Space *home) |
Perform propagation. | |
Static Public Member Functions | |
static ExecStatus | post (Space *home, SetView s, ViewArray< Gecode::Int::IntView > &x) |
Post propagator that propagates that s contains the ![]() | |
Protected Member Functions | |
Match (Space *home, bool share, Match &p) | |
Constructor for cloning p. | |
Match (Space *home, SetView, ViewArray< Gecode::Int::IntView > &) | |
Constructor for posting. | |
Protected Attributes | |
SetView | x0 |
SetView for the match. | |
ViewArray< Gecode::Int::IntView > | xs |
IntViews that together form the set x0. |
Constructor & Destructor Documentation
|
Constructor for cloning p.
|
|
Constructor for posting.
|
|
Destructor.
|
Member Function Documentation
|
Copy propagator during cloning.
Implements Gecode::Actor. |
|
Cost function (defined as PC_LINEAR_LO).
Implements Gecode::Propagator. |
|
Perform propagation.
Implements Gecode::Propagator. |
|
Post propagator that propagates that s contains the
|
Member Data Documentation
|
SetView for the match.
|
|
IntViews that together form the set x0.
|
The documentation for this class was generated from the following files:
- set/int.hh (Revision: 2652)
- set/int/match.cc (Revision: 2644)
- set/int/match.icc (Revision: 2639)