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... | |
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.
|
inline |
Initialize with non-initialized view-value graph.
Definition at line 49 of file dom-ctrl.hpp.
|
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 | ||
) |
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 | ) |
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 | ||
) |
Perform propagation, assigned is true if a view gets assigned.
Definition at line 72 of file dom-ctrl.hpp.
|
protected |
Propagation is performed on a view-value graph.
Definition at line 221 of file distinct.hh.