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
template<class VX>
PropCond Gecode::Int::Count::RelEqDom< VX >::cond | ( | void | ) | const [inline] |
template<class VX>
RelTest Gecode::Int::Count::RelEqDom< VX >::holds | ( | VX | x, | |
VX | y | |||
) | [inline] |
template<class VX>
RelTest Gecode::Int::Count::RelEqDom< VX >::holds | ( | VX | x, | |
ConstIntView | y | |||
) | [inline] |
template<class VX>
ExecStatus Gecode::Int::Count::RelEqDom< VX >::post_true | ( | Space * | home, | |
ViewArray< VX > & | x, | |||
VX | y | |||
) | [inline] |
template<class VX>
ExecStatus Gecode::Int::Count::RelEqDom< VX >::post_true | ( | Space * | home, | |
ViewArray< VX > & | x, | |||
ConstIntView | y | |||
) | [inline] |
template<class VX>
ExecStatus Gecode::Int::Count::RelEqDom< VX >::post_false | ( | Space * | home, | |
ViewArray< VX > & | x, | |||
VX | y | |||
) | [inline] |
template<class VX>
ExecStatus Gecode::Int::Count::RelEqDom< VX >::post_false | ( | Space * | home, | |
ViewArray< VX > & | x, | |||
ConstIntView | y | |||
) | [inline] |
The documentation for this class was generated from the following files:
- gecode/int/count.hh (Revision: 3246)
- gecode/int/count/rel.icc (Revision: 3188)