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.