Generated on Wed Nov 1 15:05:14 2006 for Gecode by doxygen 1.4.5
Gecode::IntSetPropagator

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

Inherits Gecode::Propagator.

List of all members.

Detailed Description

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

Set/Int connection propagator.

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

Definition at line 42 of file propagator.icc.

Public Member Functions

virtual PropCost cost (void) const
 Cost function (defined as PC_BINARY_LO).
virtual size_t dispose (Space *home)
 Delete propagator and return its size.

Protected Member Functions

 IntSetPropagator (Space *home, bool, IntSetPropagator &)
 Constructor for cloning.
 IntSetPropagator (Space *home, View, Gecode::Int::IntView, bool=false)
 Constructor for creation.

Protected Attributes

View x0
Gecode::Int::IntView x1

Constructor & Destructor Documentation

template<class View, PropCond pcs, PropCond pci>
Gecode::IntSetPropagator< View, pcs, pci >::IntSetPropagator (  Space *  home,
bool  ,
IntSetPropagator< View, pcs, pci > & 
)  [protected]
 

Constructor for cloning.

template<class View, PropCond pcs, PropCond pci>
Gecode::IntSetPropagator< View, pcs, pci >::IntSetPropagator (  Space *  home,
View  ,
Gecode::Int::IntView  ,
bool  = false
)  [protected]
 

Constructor for creation.

Definition at line 61 of file propagator.icc.

Member Function Documentation

template<class View, PropCond pcs, PropCond pci>
PropCost Gecode::IntSetPropagator< View, pcs, pci >::cost (  void   )  const [virtual]
 

Cost function (defined as PC_BINARY_LO).

Implements Gecode::Propagator.

Definition at line 78 of file propagator.icc.

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

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 84 of file propagator.icc.

Member Data Documentation

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

Definition at line 44 of file propagator.icc.

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

Definition at line 45 of file propagator.icc.

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