Gecode::Set::RelOp::IntersectionN< View0, View1 > Class Template Reference
[Set propagators]
#include <rel-op.hh>
Inherits Gecode::InhomNaryOnePropagator< View0, PC_SET_ANY, View1, PC_SET_ANY >.
Detailed Description
template<class View0, class View1>
class Gecode::Set::RelOp::IntersectionN< View0, View1 >
Propagator for nary intersection
Requires
#include "gecode/set/rel-op.hh"
Definition at line 171 of file rel-op.hh.
Public Member Functions | |
virtual PropCost | cost (void) const |
Cost function (defined as dynamic PC_LINEAR_LO). | |
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< View0 > &y, View1 x) |
Post propagator ![]() | |
Protected Member Functions | |
IntersectionN (Space *home, bool share, IntersectionN &p) | |
Constructor for cloning p. | |
IntersectionN (Space *home, ViewArray< View0 > &, View1) | |
Constructor for posting. | |
Protected Attributes | |
bool | shared |
Whether the any views share a variable implementation. | |
LUBndSet | intOfDets |
Intersection of the determined ![]() |
Constructor & Destructor Documentation
template<class View0, class View1>
Gecode::Set::RelOp::IntersectionN< View0, View1 >::IntersectionN | ( | Space * | home, | |
bool | share, | |||
IntersectionN< View0, View1 > & | p | |||
) | [inline, protected] |
template<class View0, class View1>
Gecode::Set::RelOp::IntersectionN< View0, View1 >::IntersectionN | ( | Space * | home, | |
ViewArray< View0 > & | , | |||
View1 | ||||
) | [inline, protected] |
Member Function Documentation
template<class View0, class View1>
PropCost Gecode::Set::RelOp::IntersectionN< View0, View1 >::cost | ( | void | ) | const [virtual] |
Cost function (defined as dynamic PC_LINEAR_LO).
Reimplemented from Gecode::InhomNaryOnePropagator< View0, PC_SET_ANY, View1, PC_SET_ANY >.
template<class View0, class View1>
Actor * Gecode::Set::RelOp::IntersectionN< View0, View1 >::copy | ( | Space * | home, | |
bool | ||||
) | [virtual] |
template<class View0, class View1>
ExecStatus Gecode::Set::RelOp::IntersectionN< View0, View1 >::propagate | ( | Space * | home | ) | [virtual] |
template<class View0, class View1>
ExecStatus Gecode::Set::RelOp::IntersectionN< View0, View1 >::post | ( | Space * | home, | |
ViewArray< View0 > & | y, | |||
View1 | x | |||
) | [static] |
Member Data Documentation
template<class View0, class View1>
bool Gecode::Set::RelOp::IntersectionN< View0, View1 >::shared [protected] |
template<class View0, class View1>
LUBndSet Gecode::Set::RelOp::IntersectionN< View0, View1 >::intOfDets [protected] |
The documentation for this class was generated from the following files:
- gecode/set/rel-op.hh (Revision: 3188)
- gecode/set/rel-op/inter.icc (Revision: 2601)