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. |
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.
Gecode::Int::Distinct::DomCtrl< View >::DomCtrl | ( | void | ) | [inline] |
Initialize with non-initialized view-value graph.
Definition at line 49 of file dom-ctrl.hpp.
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 | ||
) |
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.
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.