main page modules namespaces classes files
Gecode home

search for 

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

 #include "gecode/int/distinct.hh" 

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 Actor *	copy (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 665 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 644 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 696 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 682 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 690 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 670 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 676 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 649 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 731 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:

• gecode/int/distinct.hh (Revision: 3768)
• gecode/int/distinct/dom.icc (Revision: 3768)