Generated on Thu Jul 6 07:07:02 2006 for Gecode by doxygen 1.4.7

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: