Generated on Wed Mar 19 07:30:09 2008 for Gecode by doxygen 1.5.5

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 615 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 619 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 625 of file dom.icc.

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

Synchronize available view-value graph.

Definition at line 631 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 638 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: