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

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

#include <count.hh>

List of all members.


Detailed Description

template<class VX>
class Gecode::Int::Count::RelEqBnd< VX >

Relation for bounds-consistent counting.

Definition at line 226 of file count.hh.

Public Member Functions

PropCond cond (void) const
 Propagation condition (PC_INT_BND).
RelTest holds (VX, VX)
 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::RelEqBnd< VX >::cond ( void   )  const [inline]

Propagation condition (PC_INT_BND).

Definition at line 128 of file rel.icc.

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

Test whether x and y are equal.

Definition at line 138 of file rel.icc.

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

Test whether x and y are equal.

Definition at line 133 of file rel.icc.

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

Post that all views in x are equal to y.

Definition at line 153 of file rel.icc.

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

Post that all views in x are equal to y.

Definition at line 143 of file rel.icc.

template<class VX>
ExecStatus Gecode::Int::Count::RelEqBnd< 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 158 of file rel.icc.

template<class VX>
ExecStatus Gecode::Int::Count::RelEqBnd< 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 148 of file rel.icc.


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