Gecode::Int::Distinct::DomCtrl< View > Class Template Reference
[Integer propagators]
Propagation controller for domain consistent distinct. More...
#include <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, ViewArray< 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 | |
| Graph< View > | g |
| 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 218 of file distinct.hh.
Constructor & Destructor Documentation
| 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
| 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.
| ExecStatus Gecode::Int::Distinct::DomCtrl< View >::init | ( | Space & | home, | |
| ViewArray< View > & | x | |||
| ) | [inline] |
Initialize view-value graph for views x.
Definition at line 59 of file dom-ctrl.hpp.
| ExecStatus Gecode::Int::Distinct::DomCtrl< View >::sync | ( | Space & | home | ) | [inline] |
Synchronize available view-value graph.
Definition at line 65 of file dom-ctrl.hpp.
| 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 72 of file dom-ctrl.hpp.
Member Data Documentation
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:
- gecode/int/distinct.hh (Revision: 12423)
- gecode/int/distinct/dom-ctrl.hpp (Revision: 12394)