Generated on Thu Jul 6 07:07:02 2006 for Gecode by doxygen 1.4.7

Gecode::Int::Distinct::Dom< View > Class Template Reference
[Integer propagators]

#include <distinct.hh>

Inherits Gecode::NaryPropagator< View, PC_INT_DOM >.

List of all members.


Detailed Description

template<class View>
class Gecode::Int::Distinct::Dom< View >

Domain-consistent distinct propagator.

The propagator uses staging: first it uses naive value-based propagation and only then uses domain-consistent propagation.

The algorithm is taken from: Jean-Charles Régin, A filtering algorithm for constraints of difference in CSPs, Proceedings of the Twelfth National Conference on Artificial Intelligence, pages 362--367. Seattle, WA, USA, 1994.

Requires

Definition at line 204 of file distinct.hh.

Public Member Functions

virtual ExecStatus propagate (Space *home)
 Perform propagation.
virtual PropCost cost (void) const
 Cost function.
virtual Actorcopy (Space *home, bool share)
 Copy propagator during cloning.
virtual void flush (void)
 Flush view-value graph.
virtual size_t size (void) const
 Returns size of view-value graph.
virtual size_t dispose (Space *home)
 Delete propagator and return its size.

Static Public Member Functions

static ExecStatus post (Space *home, ViewArray< View > &x)
 Post propagator for views x.

Protected Member Functions

 Dom (Space *home, bool share, Dom< View > &p)
 Constructor for cloning p.
 Dom (Space *home, ViewArray< View > &x)
 Constructor for posting.

Protected Attributes

DomCtrl< View > dc
 Propagation controller.


Constructor & Destructor Documentation

template<class View>
Gecode::Int::Distinct::Dom< View >::Dom ( Space home,
bool  share,
Dom< View > &  p 
) [inline, protected]

Constructor for cloning p.

Definition at line 662 of file dom.icc.

template<class View>
Gecode::Int::Distinct::Dom< View >::Dom ( Space home,
ViewArray< View > &  x 
) [inline, protected]

Constructor for posting.

Definition at line 643 of file dom.icc.


Member Function Documentation

template<class View>
ExecStatus Gecode::Int::Distinct::Dom< View >::propagate ( Space home  )  [virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 693 of file dom.icc.

template<class View>
PropCost Gecode::Int::Distinct::Dom< View >::cost ( void   )  const [virtual]

Cost function.

If in stage for naive value propagation, the cost is dynamic PC_LINEAR_LO. Otherwise it is dynamic PC_CUBIC_LO.

Reimplemented from Gecode::NaryPropagator< View, PC_INT_DOM >.

Definition at line 679 of file dom.icc.

template<class View>
Actor * Gecode::Int::Distinct::Dom< View >::copy ( Space home,
bool  share 
) [virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 687 of file dom.icc.

template<class View>
void Gecode::Int::Distinct::Dom< View >::flush ( void   )  [virtual]

Flush view-value graph.

Reimplemented from Gecode::Actor.

Definition at line 667 of file dom.icc.

template<class View>
size_t Gecode::Int::Distinct::Dom< View >::size ( void   )  const [virtual]

Returns size of view-value graph.

Definition at line 673 of file dom.icc.

template<class View>
ExecStatus Gecode::Int::Distinct::Dom< View >::post ( Space home,
ViewArray< View > &  x 
) [static]

Post propagator for views x.

Definition at line 648 of file dom.icc.

template<class View>
size_t Gecode::Int::Distinct::Dom< View >::dispose ( Space home  )  [virtual]

Delete propagator and return its size.

Reimplemented from Gecode::NaryPropagator< View, PC_INT_DOM >.

Definition at line 724 of file dom.icc.


Member Data Documentation

template<class View>
DomCtrl<View> Gecode::Int::Distinct::Dom< View >::dc [protected]

Propagation controller.

Definition at line 209 of file distinct.hh.


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