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

#include <distinct.hh>

List of all members.

---

Detailed Description

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

Propagation controller for domain consistent distinct.

The propagation controller provides convenient access to performing incremental domain consistent distinct propagation so that the routines can be reused easily.

Requires

 #include "gecode/int/distinct.hh" 

Definition at line 197 of file distinct.hh.

Public Member Functions
	DomCtrl (void)
	Initialize with non-initialized view-value graph.
bool	available (void)
	Check whether a view-value graph is available.
ExecStatus	init (Space *home, int n, View *x)
	Initialize view-value graph for views x.
ExecStatus	sync (void)
	Synchronize available view-value graph.
ExecStatus	propagate (Space *home, bool &assigned)
	Perform propagation, assigned is true if a view gets assigned.
Protected Attributes
ViewValGraph	vvg
	Propagation is performed on a view-value graph.
Classes
class	ViewValGraph
	View-value graph for propagation. More...

---

Constructor & Destructor Documentation

template<class View>

Gecode::Int::Distinct::DomCtrl< View >::DomCtrl

(

void

)

[inline]

Initialize with non-initialized view-value graph.

Definition at line 617 of file dom.icc.

---

Member Function Documentation

template<class View>

bool Gecode::Int::Distinct::DomCtrl< View >::available

(

void

)

[inline]

Check whether a view-value graph is available.

Definition at line 621 of file dom.icc.

template<class View>

ExecStatus Gecode::Int::Distinct::DomCtrl< View >::init	(	Space *	home,
		int	n,
		View *	x
	)			[inline]

Initialize view-value graph for views x.

Definition at line 627 of file dom.icc.

template<class View>

ExecStatus Gecode::Int::Distinct::DomCtrl< View >::sync

(

void

)

[inline]

Synchronize available view-value graph.

Definition at line 633 of file dom.icc.

template<class View>

ExecStatus Gecode::Int::Distinct::DomCtrl< View >::propagate	(	Space *	home,
		bool &	assigned
	)			[inline]

Perform propagation, assigned is true if a view gets assigned.

Definition at line 640 of file dom.icc.

---

Member Data Documentation

template<class View>

ViewValGraph Gecode::Int::Distinct::DomCtrl< View >::vvg [protected]

Propagation is performed on a view-value graph.

Definition at line 234 of file distinct.hh.

---

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

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