Mixed ternary propagator. More...
#include <propagator.hpp>
Public Member Functions | |
virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
Cost function (defined as low ternary) | |
virtual size_t | dispose (Space &home) |
Delete propagator and return its size. | |
Protected Member Functions | |
MixTernaryPropagator (Space &home, bool share, MixTernaryPropagator &p) | |
Constructor for cloning. | |
MixTernaryPropagator (Home home, View0 x0, View1 x1, View2 x2) | |
Constructor for creation. | |
MixTernaryPropagator (Space &home, bool share, Propagator &p, View0 x0, View1 x1, View2 x2) | |
Constructor for rewriting p during cloning. | |
Protected Attributes | |
View0 | x0 |
View of type View0. | |
View1 | x1 |
View of type View1. | |
View2 | x2 |
View of type View2. |
Mixed ternary propagator.
Stores three views of type View0, View1, and View2 with propagation conditions pc0, pc1, and pc2.
If the propagation conditions pc0, pc1, pc2 have the values PC_GEN_NONE, no subscriptions are created.
Definition at line 235 of file propagator.hpp.
Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::MixTernaryPropagator | ( | Space & | home, |
bool | share, | ||
MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 > & | p | ||
) | [inline, protected] |
Constructor for cloning.
Definition at line 604 of file propagator.hpp.
Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::MixTernaryPropagator | ( | Home | home, |
View0 | x0, | ||
View1 | x1, | ||
View2 | x2 | ||
) | [protected] |
Constructor for creation.
Definition at line 590 of file propagator.hpp.
Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::MixTernaryPropagator | ( | Space & | home, |
bool | share, | ||
Propagator & | p, | ||
View0 | x0, | ||
View1 | x1, | ||
View2 | x2 | ||
) | [inline, protected] |
Constructor for rewriting p during cloning.
Definition at line 617 of file propagator.hpp.
PropCost Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::cost | ( | const Space & | home, |
const ModEventDelta & | med | ||
) | const [virtual] |
Cost function (defined as low ternary)
Implements Gecode::Propagator.
Reimplemented in Gecode::Int::Arithmetic::MultPlusDom< Val, VA, VB, VC >.
Definition at line 628 of file propagator.hpp.
size_t Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Definition at line 635 of file propagator.hpp.
View0 Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::x0 [protected] |
View of type View0.
Definition at line 238 of file propagator.hpp.
View1 Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::x1 [protected] |
View of type View1.
Definition at line 240 of file propagator.hpp.
View2 Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::x2 [protected] |
View of type View2.
Definition at line 242 of file propagator.hpp.