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

Gecode::InhomNaryOnePropagator< View0, pc0, View1, pc1 > Class Template Reference
[Propagator patterns]

Inherits Gecode::Propagator.

List of all members.

Detailed Description

template<class View0, PropCond pc0, class View1, PropCond pc1>
class Gecode::InhomNaryOnePropagator< View0, pc0, View1, pc1 >

Inhomogeneous (n+1)-ary propagator.

Stores array of views of type View0 with propagation condition pc0 and a single view of type View1 with propagation condition pc1.

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

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

Protected Attributes

ViewArray< View0 > x
 Array of views.
View1 y
 Single view.

Constructor & Destructor Documentation

template<class View0, PropCond pc0, class View1, PropCond pc1>
Gecode::InhomNaryOnePropagator< View0, pc0, View1, pc1 >::InhomNaryOnePropagator (  Space *  home,
bool  share,
InhomNaryOnePropagator< View0, pc0, View1, pc1 > &  p
)  [protected]
 

Constructor for cloning p.

template<class View0, PropCond pc0, class View1, PropCond pc1>
Gecode::InhomNaryOnePropagator< View0, pc0, View1, pc1 >::InhomNaryOnePropagator (  Space *  home,
ViewArray< View0 > &  x,
View1  y,
bool  fd = false
)  [protected]
 

Constructor for creation.

Definition at line 637 of file propagator.icc.

template<class View0, PropCond pc0, class View1, PropCond pc1>
Gecode::InhomNaryOnePropagator< View0, pc0, View1, pc1 >::InhomNaryOnePropagator (  Space *  home,
bool  share,
Propagator &  p,
ViewArray< View0 > &  x,
View1  y
)  [inline, protected]
 

Constructor for rewriting p during cloning.

Definition at line 655 of file propagator.icc.

Member Function Documentation

template<class View0, PropCond pc0, class View1, PropCond pc1>
PropCost Gecode::InhomNaryOnePropagator< View0, pc0, View1, pc1 >::cost (  void   )  const [virtual]
 

Cost function (defined as dynamic PC_LINEAR_LO).

Implements Gecode::Propagator.

Reimplemented in Gecode::Set::RelOp::IntersectionN< View0, View1 >, Gecode::Set::RelOp::UnionN< View0, View1 >, and Gecode::Set::RelOp::PartitionN< View0, View1 >.

Definition at line 663 of file propagator.icc.

template<class View0, PropCond pc0, class View1, PropCond pc1>
size_t Gecode::InhomNaryOnePropagator< View0, pc0, View1, pc1 >::dispose (  Space *  home  )  [virtual]
 

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 669 of file propagator.icc.

Member Data Documentation

template<class View0, PropCond pc0, class View1, PropCond pc1>
ViewArray<View0> Gecode::InhomNaryOnePropagator< View0, pc0, View1, pc1 >::x [protected]
 

Array of views.

Definition at line 238 of file propagator.icc.

template<class View0, PropCond pc0, class View1, PropCond pc1>
View1 Gecode::InhomNaryOnePropagator< View0, pc0, View1, pc1 >::y [protected]
 

Single view.

Definition at line 240 of file propagator.icc.

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