Generated on Tue Sep 25 2012 20:53:32 for Gecode by doxygen 1.7.5
Gecode::Int::Sorted::Sorted Class Reference

Bounds consistent sortedness propagator. More...

#include <sorted.hh>

List of all members.

Public Member Functions

virtual size_t dispose (Space &home)
 Delete propagator and return its size.
virtual Actorcopy (Space &home, bool share)
 Copy propagator during cloning.
virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function returning low linear.
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.

Static Public Member Functions

static ExecStatus post (Home home, ViewArray< View > &x, ViewArray< View > &y, ViewArray< View > &z)
 Post propagator for views x, y, and z.

Protected Member Functions

 Sorted (Home home, ViewArray< View > &x, ViewArray< View > &y, ViewArray< View > &z)
 Constructor for posting.
 Sorted (Space &home, bool share, Sorted< View, Perm > &p)
 Constructor for cloning.

Protected Attributes

ViewArray< View > x
 Views to be sorted.
ViewArray< View > y
 Views denoting the sorted version of x.
ViewArray< View > z
 Permutation variables (none, if Perm is false)
ViewArray< View > w
 Original y array.
int reachable
 connection to dropped view

Detailed Description

Bounds consistent sortedness propagator.

The algorithm is taken from: Sven Thiel, Efficient Algorithms for Constraint Propagation and for Processing Tree Descriptions, PhD thesis, Universität des Saarlandes, Germany, 2004, pages 39-59.

Requires


Constructor & Destructor Documentation

Gecode::Int::Sorted::Sorted::Sorted ( Home  home,
ViewArray< View > &  x,
ViewArray< View > &  y,
ViewArray< View > &  z 
) [protected]

Constructor for posting.

Definition at line 346 of file propagate.hpp.

Gecode::Int::Sorted::Sorted::Sorted ( Space home,
bool  share,
Sorted< View, Perm > &  p 
) [inline, protected]

Constructor for cloning.

Definition at line 335 of file propagate.hpp.


Member Function Documentation

size_t Gecode::Int::Sorted::Sorted::dispose ( Space home) [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 357 of file propagate.hpp.

Actor * Gecode::Int::Sorted::Sorted::copy ( Space home,
bool  share 
) [virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 367 of file propagate.hpp.

PropCost Gecode::Int::Sorted::Sorted::cost ( const Space home,
const ModEventDelta med 
) const [virtual]

Cost function returning low linear.

Implements Gecode::Propagator.

Definition at line 372 of file propagate.hpp.

ExecStatus Gecode::Int::Sorted::Sorted::propagate ( Space home,
const ModEventDelta med 
) [virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 378 of file propagate.hpp.

ExecStatus Gecode::Int::Sorted::Sorted::post ( Home  home,
ViewArray< View > &  x,
ViewArray< View > &  y,
ViewArray< View > &  z 
) [static]

Post propagator for views x, y, and z.

Definition at line 616 of file propagate.hpp.


Member Data Documentation

Views to be sorted.

Definition at line 66 of file sorted.hh.

Views denoting the sorted version of x.

Definition at line 68 of file sorted.hh.

Permutation variables (none, if Perm is false)

Definition at line 70 of file sorted.hh.

Original y array.

Definition at line 72 of file sorted.hh.

connection to dropped view

Definition at line 74 of file sorted.hh.


The documentation for this class was generated from the following files: