Gecode::MixNaryOnePropagator< View0, pc0, View1, pc1 > Class Template Reference
[Propagator patterns]
Inherits Gecode::Propagator.
Inherited by Gecode::Int::Channel::LinkMulti.
Detailed Description
template<class View0, PropCond pc0, class View1, PropCond pc1>
class Gecode::MixNaryOnePropagator< View0, pc0, View1, pc1 >
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.
Definition at line 315 of file propagator.icc.
Public Member Functions | |
| virtual PropCost | cost (ModEventDelta med) const |
| Cost function (defined as dynamic PC_LINEAR_LO). | |
| virtual size_t | dispose (Space *home) |
| Delete propagator and return its size. | |
| Reflection::ActorSpec | spec (const Space *home, Reflection::VarMap &m, const Support::Symbol &name) const |
| Return specification given a variable map m and a name. | |
Protected Member Functions | |
| MixNaryOnePropagator (Space *home, bool share, MixNaryOnePropagator &p) | |
| Constructor for cloning p. | |
| MixNaryOnePropagator (Space *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. | |
Constructor & Destructor Documentation
| Gecode::MixNaryOnePropagator< View0, pc0, View1, pc1 >::MixNaryOnePropagator | ( | Space * | home, | |
| bool | share, | |||
| MixNaryOnePropagator< View0, pc0, View1, pc1 > & | p | |||
| ) | [inline, protected] |
| Gecode::MixNaryOnePropagator< View0, pc0, View1, pc1 >::MixNaryOnePropagator | ( | Space * | home, | |
| ViewArray< View0 > & | x, | |||
| View1 | y | |||
| ) | [inline, protected] |
| Gecode::MixNaryOnePropagator< View0, pc0, View1, pc1 >::MixNaryOnePropagator | ( | Space * | home, | |
| bool | share, | |||
| Propagator & | p, | |||
| ViewArray< View0 > & | x, | |||
| View1 | y | |||
| ) | [inline, protected] |
Member Function Documentation
| PropCost Gecode::MixNaryOnePropagator< View0, pc0, View1, pc1 >::cost | ( | ModEventDelta | med | ) | const [inline, virtual] |
Cost function (defined as dynamic PC_LINEAR_LO).
Implements Gecode::Propagator.
Reimplemented in Gecode::Int::Arithmetic::NaryMaxDom< View >, Gecode::Int::Channel::LinkMulti, Gecode::Set::Int::ChannelBool< View >, Gecode::Set::RelOp::IntersectionN< View0, View1 >, Gecode::Set::RelOp::UnionN< View0, View1 >, and Gecode::Set::RelOp::PartitionN< View0, View1 >.
Definition at line 818 of file propagator.icc.
| size_t Gecode::MixNaryOnePropagator< View0, pc0, View1, pc1 >::dispose | ( | Space * | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Reimplemented in Gecode::CpltSet::NaryOneCpltSetPropagator< View0, View1 >, and Gecode::Set::Int::ChannelBool< View >.
Definition at line 824 of file propagator.icc.
| Reflection::ActorSpec Gecode::MixNaryOnePropagator< View0, pc0, View1, pc1 >::spec | ( | const Space * | home, | |
| Reflection::VarMap & | m, | |||
| const Support::Symbol & | name | |||
| ) | const [inline] |
Return specification given a variable map m and a name.
Definition at line 836 of file propagator.icc.
Member Data Documentation
ViewArray<View0> Gecode::MixNaryOnePropagator< View0, pc0, View1, pc1 >::x [protected] |
View1 Gecode::MixNaryOnePropagator< View0, pc0, View1, pc1 >::y [protected] |
The documentation for this class was generated from the following file:
- gecode/kernel/propagator.icc (Revision: 5993)