Gecode::Int::Count::RelEqDom< VX > Class Template Reference
#include <count.hh>
Detailed Description
template<class VX>
class Gecode::Int::Count::RelEqDom< VX >
Relation for domain-consistent counting.
Definition at line 249 of file count.hh.
Public Member Functions | |
PropCond | cond (void) const |
Propagation condition (PC_INT_DOM). | |
RelTest | holds (VX x, VX y) |
Test whether x and y are equal. | |
RelTest | holds (VX x, ConstIntView y) |
Test whether x and y are equal. | |
ExecStatus | post_true (Space *home, ViewArray< VX > &x, VX y) |
Post that all views in x are equal to y. | |
ExecStatus | post_true (Space *home, ViewArray< VX > &x, ConstIntView y) |
Post that all views in x are equal to y. | |
ExecStatus | post_false (Space *home, ViewArray< VX > &x, VX y) |
Post that all views in x are not equal to y. | |
ExecStatus | post_false (Space *home, ViewArray< VX > &x, ConstIntView y) |
Post that all views in x are not equal to y. |
Member Function Documentation
|
Propagation condition (PC_INT_DOM).
|
|
Test whether x and y are equal.
|
|
Test whether x and y are equal.
|
|
Post that all views in x are equal to y.
|
|
Post that all views in x are equal to y.
|
|
Post that all views in x are not equal to y.
|
|
Post that all views in x are not equal to y.
|
The documentation for this class was generated from the following files:
- int/count.hh (Revision: 2497)
- int/count/rel.icc (Revision: 2128)