Gecode::Set::RelOp::Intersection< View0, View1, View2 > Class Template Reference
[Set propagators]
#include <rel-op.hh>
Inherits Gecode::InhomTernaryPropagator< View0, PC_SET_ANY, View1, PC_SET_ANY, View2, PC_SET_ANY >.
Detailed Description
template<class View0, class View1, class View2>
class Gecode::Set::RelOp::Intersection< View0, View1, View2 >
Propagator for ternary intersection
Requires
#include "gecode/set/rel-op.hh"
Definition at line 111 of file rel-op.hh.
Public Member Functions | |
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, View0 x, View1 y, View2 z) |
Post propagator ![]() | |
Protected Member Functions | |
Intersection (Space *home, bool share, Intersection &p) | |
Constructor for cloning p. | |
Intersection (Space *home, View0, View1, View2) | |
Constructor for posting. |
Constructor & Destructor Documentation
template<class View0, class View1, class View2>
Gecode::Set::RelOp::Intersection< View0, View1, View2 >::Intersection | ( | Space * | home, | |
bool | share, | |||
Intersection< View0, View1, View2 > & | p | |||
) | [inline, protected] |
template<class View0, class View1, class View2>
Gecode::Set::RelOp::Intersection< View0, View1, View2 >::Intersection | ( | Space * | home, | |
View0 | , | |||
View1 | , | |||
View2 | ||||
) | [inline, protected] |
Member Function Documentation
template<class View0, class View1, class View2>
Actor * Gecode::Set::RelOp::Intersection< View0, View1, View2 >::copy | ( | Space * | home, | |
bool | ||||
) | [virtual] |
template<class View0, class View1, class View2>
ExecStatus Gecode::Set::RelOp::Intersection< View0, View1, View2 >::propagate | ( | Space * | home | ) | [virtual] |
template<class View0, class View1, class View2>
ExecStatus Gecode::Set::RelOp::Intersection< View0, View1, View2 >::post | ( | Space * | home, | |
View0 | x, | |||
View1 | y, | |||
View2 | z | |||
) | [static] |
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)