Generated on Wed Jan 4 17:49:19 2006 for Gecode by doxygen 1.4.6

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 40 of file propagator.icc.

Public Member Functions

virtual PropCost cost (void) const
 Cost function (defined as PC_BINARY_LO).
virtual ~IntSetPropagator (void)

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 126 of file propagator.icc.

template<class View, PropCond pcs, PropCond pci>
Gecode::IntSetPropagator< View, pcs, pci >::~IntSetPropagator void   )  [virtual]
 

Definition at line 148 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 143 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 42 of file propagator.icc.

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

Definition at line 43 of file propagator.icc.


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