Generated on Tue Sep 25 2012 20:53:26 for Gecode by doxygen 1.7.5
Gecode::MixNaryOnePropagator Class Reference

Mixed (n+1)-ary propagator. More...

#include <propagator.hpp>

List of all members.

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.

Detailed Description

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.


Constructor & Destructor Documentation

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.


Member Function Documentation

PropCost Gecode::MixNaryOnePropagator::cost ( const Space home,
const ModEventDelta med 
) const [virtual]
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.


Member Data Documentation

Array of views.

Definition at line 271 of file propagator.hpp.

Single view.

Definition at line 273 of file propagator.hpp.


The documentation for this class was generated from the following file: