Generated on Wed Nov 1 15:05:12 2006 for Gecode by doxygen 1.4.5
Gecode::ReUnaryPropagator

Gecode::ReUnaryPropagator< 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::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: