Generated on Mon Nov 30 23:53:47 2009 for Gecode by doxygen 1.6.1

Gecode::IntSetRePropagator< View, pcs, pci > Class Template Reference
[Patterns for set propagators]

Set/Int reified connection 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 ternary).
virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Protected Member Functions

 IntSetRePropagator (Space &home, bool, IntSetRePropagator &)
 Constructor for cloning.
 IntSetRePropagator (Space &home, View, Gecode::Int::IntView, Gecode::Int::BoolView)
 Constructor for creation.

Protected Attributes

View x0
Gecode::Int::IntView x1
Gecode::Int::BoolView b

Detailed Description

template<class View, PropCond pcs, PropCond pci>
class Gecode::IntSetRePropagator< View, pcs, pci >

Set/Int reified connection propagator.

Stores a single view of type View with propagation condition pcs and an integer variable with propagation condition pci.

Definition at line 80 of file propagator.hpp.


Constructor & Destructor Documentation

template<class View , PropCond pcs, PropCond pci>
Gecode::IntSetRePropagator< View, pcs, pci >::IntSetRePropagator ( Space home,
bool  share,
IntSetRePropagator< View, pcs, pci > &  p 
) [inline, protected]

Constructor for cloning.

Definition at line 146 of file propagator.hpp.

template<class View, PropCond pcs, PropCond pci>
Gecode::IntSetRePropagator< View, pcs, pci >::IntSetRePropagator ( Space home,
View  y0,
Gecode::Int::IntView  y1,
Gecode::Int::BoolView  b2 
) [inline, protected]

Constructor for creation.

Definition at line 136 of file propagator.hpp.


Member Function Documentation

template<class View , PropCond pcs, PropCond pci>
PropCost Gecode::IntSetRePropagator< View, pcs, pci >::cost ( const Space home,
const ModEventDelta med 
) const [inline, virtual]

Cost function (defined as low ternary).

Implements Gecode::Propagator.

Definition at line 156 of file propagator.hpp.

template<class View , PropCond pcs, PropCond pci>
size_t Gecode::IntSetRePropagator< View, pcs, pci >::dispose ( Space home  )  [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 162 of file propagator.hpp.


Member Data Documentation

template<class View, PropCond pcs, PropCond pci>
View Gecode::IntSetRePropagator< View, pcs, pci >::x0 [protected]

Definition at line 82 of file propagator.hpp.

template<class View, PropCond pcs, PropCond pci>
Gecode::Int::IntView Gecode::IntSetRePropagator< View, pcs, pci >::x1 [protected]

Definition at line 83 of file propagator.hpp.

template<class View, PropCond pcs, PropCond pci>
Gecode::Int::BoolView Gecode::IntSetRePropagator< View, pcs, pci >::b [protected]

Definition at line 84 of file propagator.hpp.


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