Gecode::InhomNaryOnePropagator< View0, pc0, View1, pc1 > Class Template Reference
[Propagator patterns]
Inherits Gecode::Propagator.
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 | |||
) | [inline, protected] |
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] |
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] |
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] |
template<class View0, PropCond pc0, class View1, PropCond pc1>
View1 Gecode::InhomNaryOnePropagator< View0, pc0, View1, pc1 >::y [protected] |
The documentation for this class was generated from the following file:
- gecode/kernel/propagator.icc (Revision: 3510)