Generated on Wed Jan 4 17:49:20 2006 for Gecode by doxygen 1.4.6
Gecode::Int::Count::RelEqDom

Gecode::Int::Count::RelEqDom< VX > Class Template Reference

#include <count.hh>

List of all members.

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]
 

Propagation condition (PC_INT_DOM).

Definition at line 86 of file rel.icc.

template<class VX>
RelTest Gecode::Int::Count::RelEqDom< VX >::holds (  VX  x,
VX  y
)  [inline]
 

Test whether x and y are equal.

Definition at line 96 of file rel.icc.

template<class VX>
RelTest Gecode::Int::Count::RelEqDom< VX >::holds (  VX  x,
ConstIntView  y
)  [inline]
 

Test whether x and y are equal.

Definition at line 91 of file rel.icc.

template<class VX>
ExecStatus Gecode::Int::Count::RelEqDom< VX >::post_true (  Space *  home,
ViewArray< VX > &  x,
VX  y
)  [inline]
 

Post that all views in x are equal to y.

Definition at line 111 of file rel.icc.

template<class VX>
ExecStatus Gecode::Int::Count::RelEqDom< VX >::post_true (  Space *  home,
ViewArray< VX > &  x,
ConstIntView  y
)  [inline]
 

Post that all views in x are equal to y.

Definition at line 101 of file rel.icc.

template<class VX>
ExecStatus Gecode::Int::Count::RelEqDom< VX >::post_false (  Space *  home,
ViewArray< VX > &  x,
VX  y
)  [inline]
 

Post that all views in x are not equal to y.

Definition at line 116 of file rel.icc.

template<class VX>
ExecStatus Gecode::Int::Count::RelEqDom< VX >::post_false (  Space *  home,
ViewArray< VX > &  x,
ConstIntView  y
)  [inline]
 

Post that all views in x are not equal to y.

Definition at line 106 of file rel.icc.

The documentation for this class was generated from the following files: