Generated on Thu Oct 26 14:25:52 2006 for Gecode by doxygen 1.4.7

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

Inherits Gecode::Propagator.

Inherited by Gecode::Int::Dom::ReIntSet< View >, and Gecode::Int::Dom::ReRange< View >.

List of all members.


Detailed Description

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

Reified unary propagator.

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

Definition at line 40 of file propagator.icc.

Public Member Functions

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

Protected Member Functions

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

Protected Attributes

View x0
 Single view.
CtrlView b
 Boolean control view.


Constructor & Destructor Documentation

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

Constructor for cloning p.

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

Constructor for rewriting p during cloning.

Definition at line 115 of file propagator.icc.

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

Constructor for creation.

Definition at line 97 of file propagator.icc.


Member Function Documentation

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

Cost function (defined as PC_UNARY_LO).

Implements Gecode::Propagator.

Definition at line 123 of file propagator.icc.

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

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 129 of file propagator.icc.


Member Data Documentation

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

Single view.

Definition at line 43 of file propagator.icc.

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

Boolean control view.

Definition at line 45 of file propagator.icc.


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