Generated on Thu Oct 26 14:26:04 2006 for Gecode by doxygen 1.4.7
Gecode::Int::Rel::NaryEqBnd

Gecode::Int::Rel::NaryEqBnd< View > Class Template Reference
[Integer propagators]

#include <rel.hh>

Inherits Gecode::NaryPropagator< View, PC_INT_BND >.

List of all members.

Detailed Description

template<class View>
class Gecode::Int::Rel::NaryEqBnd< View >

n-ary bounds-consistent equality propagator

Requires

 #include "gecode/int/rel.hh"

Definition at line 154 of file rel.hh.

Public Member Functions

virtual Actor * copy (Space *home, bool share)
 Copy propagator during cloning.
virtual PropCost cost (void) const
 Cost function.
virtual ExecStatus propagate (Space *home)
 Perform propagation.

Static Public Member Functions

static ExecStatus post (Space *home, ViewArray< View > &x)
 Post bounds-consistent propagator $ x_0 = x_1=\ldots =x_{|x|-1}$.

Protected Member Functions

 NaryEqBnd (Space *home, bool share, NaryEqBnd< View > &p)
 Constructor for cloning p.
 NaryEqBnd (Space *home, ViewArray< View > &)
 Constructor for posting.

Constructor & Destructor Documentation

template<class View>
Gecode::Int::Rel::NaryEqBnd< View >::NaryEqBnd ( Space *  home,
bool  share,
NaryEqBnd< View > &  p 
) [inline, protected]

Constructor for cloning p.

Definition at line 316 of file eq.icc.

template<class View>
Gecode::Int::Rel::NaryEqBnd< View >::NaryEqBnd ( Space *  home,
ViewArray< View > &   
) [inline, protected]

Constructor for posting.

Definition at line 301 of file eq.icc.

Member Function Documentation

template<class View>
Actor * Gecode::Int::Rel::NaryEqBnd< View >::copy ( Space *  home,
bool  share 
) [virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 321 of file eq.icc.

template<class View>
PropCost Gecode::Int::Rel::NaryEqBnd< View >::cost ( void   )  const [virtual]

Cost function.

If a view has been assigned, the cost is PC_UNARY_LO. Otherwise it is dynamic PC_LINEAR_HI.

Reimplemented from Gecode::NaryPropagator< View, PC_INT_BND >.

Definition at line 327 of file eq.icc.

template<class View>
ExecStatus Gecode::Int::Rel::NaryEqBnd< View >::propagate ( Space *  home  )  [virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 335 of file eq.icc.

template<class View>
ExecStatus Gecode::Int::Rel::NaryEqBnd< View >::post ( Space *  home,
ViewArray< View > &  x 
) [static]

Post bounds-consistent propagator $ x_0 = x_1=\ldots =x_{|x|-1}$.

Definition at line 306 of file eq.icc.

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