Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 > Class Template Reference
[Propagator patterns]
Mixed ternary propagator. More...
#include <pattern.hpp>
Public Member Functions | |
virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
Cost function (defined as low ternary). | |
virtual void | reschedule (Space &home) |
Schedule function. | |
virtual size_t | dispose (Space &home) |
Delete propagator and return its size. | |
Protected Member Functions | |
MixTernaryPropagator (Space &home, MixTernaryPropagator &p) | |
Constructor for cloning. | |
MixTernaryPropagator (Home home, View0 x0, View1 x1, View2 x2) | |
Constructor for creation. | |
MixTernaryPropagator (Space &home, 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. |
Detailed Description
template<class View0, PropCond pc0, class View1, PropCond pc1, class View2, PropCond pc2>
class Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >
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 237 of file pattern.hpp.
Constructor & Destructor Documentation
Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::MixTernaryPropagator | ( | Space & | home, | |
MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 > & | p | |||
) | [inline, protected] |
Constructor for cloning.
Definition at line 661 of file pattern.hpp.
Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::MixTernaryPropagator | ( | Home | home, | |
View0 | x0, | |||
View1 | x1, | |||
View2 | x2 | |||
) | [inline, protected] |
Constructor for creation.
Definition at line 647 of file pattern.hpp.
Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::MixTernaryPropagator | ( | Space & | home, | |
Propagator & | p, | |||
View0 | x0, | |||
View1 | x1, | |||
View2 | x2 | |||
) | [inline, protected] |
Constructor for rewriting p during cloning.
Definition at line 674 of file pattern.hpp.
Member Function Documentation
PropCost Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::cost | ( | const Space & | home, | |
const ModEventDelta & | med | |||
) | const [inline, virtual] |
Cost function (defined as low ternary).
Implements Gecode::Propagator.
Reimplemented in Gecode::Int::Arithmetic::MultPlusDom< VA, VB, VC >.
Definition at line 685 of file pattern.hpp.
void Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::reschedule | ( | Space & | home | ) | [inline, virtual] |
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 704 of file pattern.hpp.
Member Data Documentation
View0 Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::x0 [protected] |
View of type View0.
Definition at line 240 of file pattern.hpp.
View1 Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::x1 [protected] |
View of type View1.
Definition at line 242 of file pattern.hpp.
View2 Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >::x2 [protected] |
View of type View2.
Definition at line 244 of file pattern.hpp.
The documentation for this class was generated from the following file:
- gecode/kernel/propagator/pattern.hpp