
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.