Generated on Wed Nov 1 15:05:13 2006 for Gecode by doxygen 1.4.5
Gecode::ReBinaryPropagator

Gecode::ReBinaryPropagator< View, pc, CtrlView > Class Template Reference
[Reified propagator patterns]

Inherits Gecode::Propagator.

List of all members.

Detailed Description

template<class View, PropCond pc, class CtrlView>
class Gecode::ReBinaryPropagator< View, pc, CtrlView >

Reified binary propagator.

Stores two views of type View with propagation condition pc and a Boolean control view of type CtrlView.

Definition at line 67 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

 ReBinaryPropagator (Space *home, bool share, ReBinaryPropagator &p)
 Constructor for cloning p.
 ReBinaryPropagator (Space *home, bool share, Propagator &p, View x0, View x1, CtrlView b)
 Constructor for rewriting p during cloning.
 ReBinaryPropagator (Space *home, View x0, View x1, CtrlView b, bool fd=false)
 Constructor for creation.

Protected Attributes

View x0
 Two views.
View x1
CtrlView b
 Boolean control view.

Constructor & Destructor Documentation

template<class View, PropCond pc, class CtrlView>
Gecode::ReBinaryPropagator< View, pc, CtrlView >::ReBinaryPropagator (  Space *  home,
bool  share,
ReBinaryPropagator< View, pc, CtrlView > &  p
)  [protected]
 

Constructor for cloning p.

template<class View, PropCond pc, class CtrlView>
Gecode::ReBinaryPropagator< View, pc, CtrlView >::ReBinaryPropagator (  Space *  home,
bool  share,
Propagator &  p,
View  x0,
View  x1,
CtrlView  b
)  [inline, protected]
 

Constructor for rewriting p during cloning.

Definition at line 166 of file propagator.icc.

template<class View, PropCond pc, class CtrlView>
Gecode::ReBinaryPropagator< View, pc, CtrlView >::ReBinaryPropagator (  Space *  home,
View  x0,
View  x1,
CtrlView  b,
bool  fd = false
)  [protected]
 

Constructor for creation.

Definition at line 146 of file propagator.icc.

Member Function Documentation

template<class View, PropCond pc, class CtrlView>
PropCost Gecode::ReBinaryPropagator< View, pc, CtrlView >::cost (  void   )  const [virtual]
 

Cost function (defined as PC_BINARY_LO).

Implements Gecode::Propagator.

Definition at line 175 of file propagator.icc.

template<class View, PropCond pc, class CtrlView>
size_t Gecode::ReBinaryPropagator< View, pc, CtrlView >::dispose (  Space *  home  )  [virtual]
 

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 181 of file propagator.icc.

Member Data Documentation

template<class View, PropCond pc, class CtrlView>
View Gecode::ReBinaryPropagator< View, pc, CtrlView >::x0 [protected]
 

Two views.

Definition at line 70 of file propagator.icc.

template<class View, PropCond pc, class CtrlView>
View Gecode::ReBinaryPropagator< View, pc, CtrlView >::x1 [protected]
 

Definition at line 70 of file propagator.icc.

template<class View, PropCond pc, class CtrlView>
CtrlView Gecode::ReBinaryPropagator< View, pc, CtrlView >::b [protected]
 

Boolean control view.

Definition at line 72 of file propagator.icc.

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