Generated on Tue Jul 27 2010 21:59:28 for Gecode by doxygen 1.7.1

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

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: