main page modules namespaces classes files
Gecode home

search for 

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

Public Member Functions
	DomCtrl (void)
	Initialize with non-existing view-value graph.
bool	available (void)
	Check whether a view-value graph is available.
ExecStatus	init (int n, View *x)
	Initialize view-value graph for views x.
ExecStatus	sync (void)
	Synchronize available view-value graph.
void	propagate (Space *home)
	Perform propagation.
size_t	size (void) const
	Returns size of view-value graph.
void	flush (void)
	Flush view-value graph.
void	dispose (void)
	Deallocate view-value graph.
Protected Attributes
ViewValGraph *	vvg
	Propagation is performed on a view-value graph (used as cache).
Classes
class	ViewValGraph
	View-value graph for propagating domain-consistent distinct. More...

---

Constructor & Destructor Documentation

template<class View> Gecode::Int::Distinct::DomCtrl< View >::DomCtrl (  void   )  [inline]

Initialize with non-existing view-value graph. Definition at line 582 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 586 of file dom.icc.

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

Initialize view-value graph for views x. Definition at line 596 of file dom.icc.

template<class View> ExecStatus Gecode::Int::Distinct::DomCtrl< View >::sync (  void   )  [inline]

Synchronize available view-value graph. Definition at line 606 of file dom.icc.

template<class View> void Gecode::Int::Distinct::DomCtrl< View >::propagate (  Space *  home  )  [inline]

Perform propagation. Definition at line 612 of file dom.icc.

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

Returns size of view-value graph. Definition at line 625 of file dom.icc.

template<class View> void Gecode::Int::Distinct::DomCtrl< View >::flush (  void   )  [inline]

Flush view-value graph. Definition at line 619 of file dom.icc.

template<class View> void Gecode::Int::Distinct::DomCtrl< View >::dispose (  void   )  [inline]

Deallocate view-value graph. Definition at line 631 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 (used as cache). Definition at line 166 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)