Generated on Thu Oct 26 14:25:53 2006 for Gecode by doxygen 1.4.7
Gecode::NaryOnePropagator

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

Inherits Gecode::Propagator.

Inherited by Gecode::Set::Sequence::SeqU.

List of all members.

Detailed Description

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

(n+1)-ary propagator

Stores array of views and single view of type View with propagation condition pc.

Definition at line 156 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

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

Protected Attributes

ViewArray< View > x
 Array of views.
View y
 Single view.

Constructor & Destructor Documentation

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

Constructor for cloning p.

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

Constructor for rewriting p during cloning.

Definition at line 496 of file propagator.icc.

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

Constructor for creation.

Definition at line 478 of file propagator.icc.

Member Function Documentation

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

Cost function (defined as dynamic PC_LINEAR_LO).

Implements Gecode::Propagator.

Definition at line 504 of file propagator.icc.

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

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 510 of file propagator.icc.

Member Data Documentation

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

Array of views.

Definition at line 159 of file propagator.icc.

template<class View, PropCond pc>
View Gecode::NaryOnePropagator< View, pc >::y [protected]

Single view.

Definition at line 161 of file propagator.icc.

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