Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1
Gecode::Int::Distinct::DomCtrl< View > Class Template Reference

Propagation controller for domain consistent distinct. More...

#include <distinct.hh>

Public Member Functions

 DomCtrl (void)
 Initialize with non-initialized view-value graph. More...
 
bool available (void)
 Check whether a view-value graph is available. More...
 
ExecStatus init (Space &home, ViewArray< View > &x)
 Initialize view-value graph for views x. More...
 
ExecStatus sync (Space &home)
 Synchronize available view-value graph. More...
 
ExecStatus propagate (Space &home, bool &assigned)
 Perform propagation, assigned is true if a view gets assigned. More...
 

Protected Attributes

Graph< View > g
 Propagation is performed on a view-value graph. More...
 

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

Definition at line 218 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 49 of file dom-ctrl.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 53 of file dom-ctrl.hpp.

template<class View >
ExecStatus Gecode::Int::Distinct::DomCtrl< View >::init ( Space home,
ViewArray< View > &  x 
)

Initialize view-value graph for views x.

Definition at line 59 of file dom-ctrl.hpp.

template<class View >
ExecStatus Gecode::Int::Distinct::DomCtrl< View >::sync ( Space home)

Synchronize available view-value graph.

Definition at line 65 of file dom-ctrl.hpp.

template<class View >
ExecStatus Gecode::Int::Distinct::DomCtrl< View >::propagate ( Space home,
bool &  assigned 
)

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

Definition at line 72 of file dom-ctrl.hpp.

Member Data Documentation

template<class View>
Graph<View> Gecode::Int::Distinct::DomCtrl< View >::g
protected

Propagation is performed on a view-value graph.

Definition at line 221 of file distinct.hh.


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