Generated on Wed Nov 1 15:05:14 2006 for Gecode by doxygen 1.4.5
Gecode::NaryPropagator

Gecode::NaryPropagator< View, pc > Class Template Reference
[Propagator patterns]

Inherits Gecode::Propagator.

List of all members.

Detailed Description

template<class View, PropCond pc>
class Gecode::NaryPropagator< View, pc >

n-ary propagator

Stores array of views of type View with propagation condition pc.

Definition at line 131 of file propagator.icc.

Public Member Functions

virtual PropCost cost (void) const
 Cost function (defined as dynamic PC_LINEAR_LO).
virtual size_t dispose (Space *home)
 Delete propagator and return its size.

Protected Member Functions

 NaryPropagator (Space *home, bool share, NaryPropagator &p)
 Constructor for cloning p.
 NaryPropagator (Space *home, bool share, Propagator &p, ViewArray< View > &x)
 Constructor for rewriting p during cloning.
 NaryPropagator (Space *home, ViewArray< View > &x, bool fd=false)
 Constructor for creation.

Protected Attributes

ViewArray< View > x
 Array of views.

Constructor & Destructor Documentation

template<class View, PropCond pc>
Gecode::NaryPropagator< View, pc >::NaryPropagator (  Space *  home,
bool  share,
NaryPropagator< View, pc > &  p
)  [protected]
 

Constructor for cloning p.

template<class View, PropCond pc>
Gecode::NaryPropagator< View, pc >::NaryPropagator (  Space *  home,
bool  share,
Propagator &  p,
ViewArray< View > &  x
)  [inline, protected]
 

Constructor for rewriting p during cloning.

Definition at line 450 of file propagator.icc.

template<class View, PropCond pc>
Gecode::NaryPropagator< View, pc >::NaryPropagator (  Space *  home,
ViewArray< View > &  x,
bool  fd = false
)  [protected]
 

Constructor for creation.

Definition at line 434 of file propagator.icc.

Member Function Documentation

template<class View, PropCond pc>
PropCost Gecode::NaryPropagator< View, pc >::cost (  void   )  const [virtual]
 

Cost function (defined as dynamic PC_LINEAR_LO).

Implements Gecode::Propagator.

Reimplemented in Gecode::Int::Distinct::Dom< View >, Gecode::Int::Regular::Dom< View >, Gecode::Int::Rel::NaryEqDom< View >, and Gecode::Int::Rel::NaryEqBnd< View >.

Definition at line 457 of file propagator.icc.

template<class View, PropCond pc>
size_t Gecode::NaryPropagator< View, pc >::dispose (  Space *  home  )  [virtual]
 

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Reimplemented in Gecode::Int::Distinct::Dom< View >, Gecode::Int::Regular::Dom< View >, and Gecode::Set::Distinct::Distinct.

Definition at line 463 of file propagator.icc.

Member Data Documentation

template<class View, PropCond pc>
ViewArray<View> Gecode::NaryPropagator< View, pc >::x [protected]
 

Array of views.

Definition at line 134 of file propagator.icc.

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