Gecode::Set::Projection::ReNaryProjection Class Reference
#include <propagator.hh>
Inherits Gecode::Propagator.
Detailed Description
Reified Nary projection propagator.
Definition at line 61 of file propagator.hh.
Public Member Functions | |
virtual PropCost | cost (void) const |
Cost function. | |
virtual size_t | dispose (Space *home) |
Delete propagator. | |
virtual Actor * | copy (Space *home, bool) |
Copy propagator during cloning. | |
virtual ExecStatus | propagate (Space *home) |
Perform propagation. | |
Static Public Member Functions | |
static ExecStatus | post (Space *home, ViewArray< SetView > &x, Gecode::Int::BoolView b, ProjectorSet &ps) |
Protected Member Functions | |
ReNaryProjection (Space *home, bool share, ReNaryProjection &p) | |
Constructor for cloning p. | |
ReNaryProjection (Space *home, ViewArray< SetView > &x, Gecode::Int::BoolView, ProjectorSet &ps) | |
Constructor for creation. | |
Protected Attributes | |
ViewArray< SetView > | x |
Array of views. | |
Gecode::Int::BoolView | b |
Boolean control view. | |
ProjectorSet | ps |
The projector set to propagate. |
Constructor & Destructor Documentation
|
Constructor for cloning p.
Definition at line 35 of file re-nary.icc. |
|
Constructor for creation.
Definition at line 26 of file re-nary.icc. |
Member Function Documentation
|
Cost function.
Implements Gecode::Propagator. Definition at line 42 of file re-nary.icc. |
|
Delete propagator.
Reimplemented from Gecode::Actor. Definition at line 27 of file re-nary.cc. |
|
Copy propagator during cloning.
Implements Gecode::Actor. Definition at line 47 of file re-nary.cc. |
|
Perform propagation.
Implements Gecode::Propagator. Definition at line 52 of file re-nary.cc. |
|
Definition at line 38 of file re-nary.cc. |
Member Data Documentation
|
Array of views.
Definition at line 64 of file propagator.hh. |
|
Boolean control view.
Definition at line 66 of file propagator.hh. |
|
The projector set to propagate.
Definition at line 68 of file propagator.hh. |
The documentation for this class was generated from the following files:
- gecode/set/projectors/propagator.hh (Revision: 3544)
- gecode/set/projectors/propagator/re-nary.cc (Revision: 3349)
- gecode/set/projectors/propagator/re-nary.icc (Revision: 3349)