Mixed (n+1)-ary propagator. More...
#include <propagator.hpp>
Public Member Functions | |
| virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
| Cost function (defined as low linear) | |
| virtual size_t | dispose (Space &home) |
| Delete propagator and return its size. | |
Protected Member Functions | |
| MixNaryOnePropagator (Space &home, bool share, MixNaryOnePropagator &p) | |
| Constructor for cloning p. | |
| MixNaryOnePropagator (Home home, ViewArray< View0 > &x, View1 y) | |
| Constructor for creation. | |
| MixNaryOnePropagator (Space &home, bool share, Propagator &p, ViewArray< View0 > &x, View1 y) | |
| Constructor for rewriting p during cloning. | |
Protected Attributes | |
| ViewArray< View0 > | x |
| Array of views. | |
| View1 | y |
| Single view. | |
Mixed (n+1)-ary propagator.
Stores array of views of type View0 with propagation condition pc0 and a single view of type View1 with propagation condition pc1.
If the propagation conditions pc0 or pc1 have the values PC_GEN_NONE, no subscriptions are created.
| Gecode::MixNaryOnePropagator::MixNaryOnePropagator | ( | Space & | home, |
| bool | share, | ||
| MixNaryOnePropagator & | p | ||
| ) | [protected] |
Constructor for cloning p.
| Gecode::MixNaryOnePropagator::MixNaryOnePropagator | ( | Home | home, |
| ViewArray< View0 > & | x, | ||
| View1 | y | ||
| ) | [protected] |
Constructor for creation.
Definition at line 653 of file propagator.hpp.
| Gecode::MixNaryOnePropagator::MixNaryOnePropagator | ( | Space & | home, |
| bool | share, | ||
| Propagator & | p, | ||
| ViewArray< View0 > & | x, | ||
| View1 | y | ||
| ) | [inline, protected] |
Constructor for rewriting p during cloning.
Definition at line 673 of file propagator.hpp.
| PropCost Gecode::MixNaryOnePropagator::cost | ( | const Space & | home, |
| const ModEventDelta & | med | ||
| ) | const [virtual] |
Cost function (defined as low linear)
Implements Gecode::Propagator.
Reimplemented in Gecode::Set::Int::ChannelBool, Gecode::Int::Bool::NaryOr, Gecode::Set::RelOp::PartitionN, Gecode::Set::RelOp::UnionN, Gecode::Int::Channel::LinkMulti, Gecode::Set::RelOp::IntersectionN, and Gecode::Int::NValues::IntBase.
Definition at line 681 of file propagator.hpp.
| size_t Gecode::MixNaryOnePropagator::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Reimplemented in Gecode::Set::Int::ChannelBool, Gecode::Int::Bool::NaryOr, Gecode::Int::Channel::LinkMulti, and Gecode::Int::NValues::IntBase.
Definition at line 688 of file propagator.hpp.
ViewArray<View0> Gecode::MixNaryOnePropagator::x [protected] |
Array of views.
Definition at line 271 of file propagator.hpp.
View1 Gecode::MixNaryOnePropagator::y [protected] |
Single view.
Definition at line 273 of file propagator.hpp.