Gecode::Int::Sortedness::Sortedness< View, Tuple, Perm, shared > Class Template Reference
[Integer propagators]
#include <sortedness.hh>
Inherits Gecode::Propagator.
Detailed Description
template<class View, class Tuple, bool Perm, bool shared>
class Gecode::Int::Sortedness::Sortedness< View, Tuple, Perm, shared >
Bounds consistent sortedness propagator.
- [Reference]
- The algorithm is taken from:
Sven Thiel: Efficient Algorithms for Constraint Propagation and for Processing Tree Descriptions (pages 39 to 59) [http://www.mpi-sb.mpg.de/~sthiel/thesis.pdf]
#include "int/sortedness.hh"
#include "int/distinct.hh"
Definition at line 54 of file sortedness.hh.
Public Member Functions | |
virtual | ~Sortedness (void) |
Destructor. | |
virtual Actor * | copy (Space *home, bool share) |
Copy propagator during cloning. | |
virtual PropCost | cost (void) const |
Cost function returning PC_LINEAR_HI. | |
virtual ExecStatus | propagate (Space *home) |
Perform propagation. | |
Static Public Member Functions | |
static ExecStatus | post (Space *, ViewArray< Tuple > &, ViewArray< View > &) |
Post propagator for the views xz and y. | |
Protected Member Functions | |
Sortedness (Space *, ViewArray< Tuple > &, ViewArray< View > &) | |
Constructor for posting. | |
Sortedness (Space *home, bool share, Sortedness< View, Tuple, Perm, shared > &p) | |
Constructor for cloning. | |
Protected Attributes | |
ViewArray< Tuple > | xz |
Views to be sorted. | |
ViewArray< View > | y |
Views denoting the sorted version of x. | |
ViewArray< View > | w |
original y array | |
int | reachable |
connection to dropped view |
Constructor & Destructor Documentation
|
Constructor for posting.
Definition at line 402 of file sortedness.icc. |
|
Constructor for cloning.
Definition at line 392 of file sortedness.icc. |
|
Destructor.
Definition at line 410 of file sortedness.icc. |
Member Function Documentation
|
Copy propagator during cloning.
Implements Gecode::Actor. Definition at line 416 of file sortedness.icc. |
|
Cost function returning PC_LINEAR_HI.
Implements Gecode::Propagator. Definition at line 421 of file sortedness.icc. |
|
Perform propagation.
Implements Gecode::Propagator. Definition at line 427 of file sortedness.icc. |
|
Post propagator for the views xz and y.
Definition at line 630 of file sortedness.icc. |
Member Data Documentation
|
Views to be sorted.
If Tuple is instantiated to ViewTuple<View,2>, Definition at line 69 of file sortedness.hh. |
|
Views denoting the sorted version of x.
Definition at line 72 of file sortedness.hh. |
|
original y array
Definition at line 74 of file sortedness.hh. |
|
connection to dropped view
Definition at line 76 of file sortedness.hh. |
The documentation for this class was generated from the following files:
- int/sortedness.hh (Revision: 2691)
- int/sortedness/sortedness.icc (Revision: 2686)