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

Gecode::BinaryPropagator< View, pc > Class Template Reference
[Propagator patterns]

Inherits Gecode::Propagator.

List of all members.

Detailed Description

template<class View, PropCond pc>
class Gecode::BinaryPropagator< View, pc >

Binary propagator.

Stores two views of type View with propagation condition pc.

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

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

Protected Attributes

View x0
 Two views.
View x1

Constructor & Destructor Documentation

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

Constructor for cloning p.

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

Constructor for creation.

Definition at line 332 of file propagator.icc.

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

Constructor for rewriting p during cloning.

Definition at line 350 of file propagator.icc.

Member Function Documentation

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

Cost function (defined as PC_BINARY_LO).

Implements Gecode::Propagator.

Reimplemented in Gecode::Int::Arithmetic::AbsBnd< View >, Gecode::Int::Arithmetic::AbsDom< View >, Gecode::Int::Arithmetic::Square< View >, Gecode::Int::Bool::NaryOrTrue< View >, Gecode::Int::Count::NqInt< VX, VY >, Gecode::Int::Linear::NqBoolInt< VX >, and Gecode::Int::Rel::Nq< View >.

Definition at line 358 of file propagator.icc.

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

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Reimplemented in Gecode::Int::Count::NqInt< VX, VY >.

Definition at line 364 of file propagator.icc.

Member Data Documentation

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

Two views.

Definition at line 86 of file propagator.icc.

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

Definition at line 86 of file propagator.icc.

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