Generated on Wed Jan 4 17:49:19 2006 for Gecode by doxygen 1.4.6

Gecode::InhomNaryOnePropagator< View0, pc0, View1, pc1 > Class Template Reference
[Patterns for set propagators]

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 and single view of type View1 with propagation condition pc.

Definition at line 105 of file propagator.icc.

Public Member Functions

virtual PropCost cost (void) const
 Cost function (defined as dynamic PC_LINEAR_LO).
virtual ~InhomNaryOnePropagator (void)
 Destructor.

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.

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 230 of file propagator.icc.

template<class View0, PropCond pc0, class View1, PropCond pc1>
Gecode::InhomNaryOnePropagator< View0, pc0, View1, pc1 >::~InhomNaryOnePropagator void   )  [virtual]
 

Destructor.

Definition at line 253 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 248 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 108 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 110 of file propagator.icc.


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