Gecode::Int::Distinct::BndImp< View, shared > Class Template Reference
#include <distinct.hh>
Inherits Gecode::Propagator.
Detailed Description
template<class View, bool shared>
class Gecode::Int::Distinct::BndImp< View, shared >
Implementation of bounds-consistent distinct propagator.
The actual implementation of bounds-consistent distinct. If shared is true, the propagator takes into account that some views are shared.
Definition at line 129 of file distinct.hh.
Public Member Functions | |
virtual ExecStatus | propagate (Space *home) |
Perform propagation. | |
virtual PropCost | cost (void) const |
Cost function. | |
virtual Actor * | copy (Space *home, bool share) |
Copy propagator during cloning. | |
virtual | ~BndImp (void) |
Destructor. | |
Protected Member Functions | |
BndImp (Space *home, ViewArray< View > &x) | |
Constructor for posting. | |
BndImp (Space *home, bool share, BndImp< View, shared > &p) | |
Constructor for cloning p. | |
Protected Attributes | |
ViewArray< View > | x |
Views on which to perform bounds-propagation. | |
ViewArray< View > | y |
Views on which to perform value-propagation (subset of x ). |
Constructor & Destructor Documentation
|
Constructor for posting.
|
|
Constructor for cloning p.
|
|
Destructor.
|
Member Function Documentation
|
Perform propagation.
Implements Gecode::Propagator. |
|
Cost function. If in stage for naive value propagation, the cost is dynamic PC_LINEAR_LO. Otherwise it is dynamic PC_LINEAR_HI. Implements Gecode::Propagator. |
|
Copy propagator during cloning.
Implements Gecode::Actor. |
Member Data Documentation
|
Views on which to perform bounds-propagation.
Definition at line 133 of file distinct.hh. |
|
Views on which to perform value-propagation (subset of
Definition at line 135 of file distinct.hh. |
The documentation for this class was generated from the following files:
- int/distinct.hh (Revision: 2190)
- int/distinct/bnd.icc (Revision: 2403)