Gecode::Int::Distinct::DomCtrl< View > Class Template Reference
Propagation controller for domain consistent distinct. More...
Public Member Functions
|Initialize with non-initialized view-value graph. |
|Check whether a view-value graph is available. |
|ExecStatus||init (Space &home, ViewArray< View > &x)|
|Initialize view-value graph for views x. |
|Synchronize available view-value graph. |
|ExecStatus||propagate (Space &home, bool &assigned)|
|Perform propagation, assigned is true if a view gets assigned. |
|Graph< View >||g|
|Propagation is performed on a view-value graph. |
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.
Constructor & Destructor Documentation
Member Function Documentation
|bool Gecode::Int::Distinct::DomCtrl< View >::available||(||void||)||
|ExecStatus Gecode::Int::Distinct::DomCtrl< View >::init||(||Space &||home,|
|ViewArray< View > &||x|
|ExecStatus Gecode::Int::Distinct::DomCtrl< View >::propagate||(||Space &||home,|
Member Data Documentation
The documentation for this class was generated from the following files: