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

Propagation controller for domain consistent distinct. More...

#include <distinct.hh>

List of all members.

Classes
class	ViewValGraph
	View-value graph for propagation. More...
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 (Space &home)
	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.

---

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 181 of file distinct.hh.

---

Constructor & Destructor Documentation

template<class View >

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

(

void

)

[inline]

Initialize with non-initialized view-value graph.

Definition at line 625 of file dom.hpp.

---

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 629 of file dom.hpp.

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 635 of file dom.hpp.

template<class View >

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

(

Space &

home

)

[inline]

Synchronize available view-value graph.

Definition at line 641 of file dom.hpp.

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 648 of file dom.hpp.

---

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 220 of file distinct.hh.

---

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

• gecode/int/distinct.hh (Revision: 9878)
• gecode/int/distinct/dom.hpp (Revision: 10364)