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

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

Inherits Gecode::Propagator.

List of all members.


Detailed Description

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

Ternary propagator.

Stores three views of type View with propagation condition pc.

Definition at line 107 of file propagator.icc.

Public Member Functions

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

Protected Member Functions

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

Protected Attributes

View x0
 Three views.
View x1
View x2


Constructor & Destructor Documentation

template<class View, PropCond pc>
Gecode::TernaryPropagator< View, pc >::TernaryPropagator Space home,
bool  share,
TernaryPropagator< View, pc > &  p
[protected]
 

Constructor for cloning p.

template<class View, PropCond pc>
Gecode::TernaryPropagator< View, pc >::TernaryPropagator Space home,
View  x0,
View  x1,
View  x2,
bool  fd = false
[protected]
 

Constructor for creation.

Definition at line 381 of file propagator.icc.

template<class View, PropCond pc>
Gecode::TernaryPropagator< View, pc >::TernaryPropagator Space home,
bool  share,
Propagator p,
View  x0,
View  x1,
View  x2
[inline, protected]
 

Constructor for rewriting p during cloning.

Definition at line 401 of file propagator.icc.


Member Function Documentation

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

Cost function (defined as PC_TERNARY_LO).

Implements Gecode::Propagator.

Reimplemented in Gecode::Int::Arithmetic::Mult< View >.

Definition at line 410 of file propagator.icc.

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

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 416 of file propagator.icc.


Member Data Documentation

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

Three views.

Definition at line 110 of file propagator.icc.

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

Definition at line 110 of file propagator.icc.

template<class View, PropCond pc>
View Gecode::TernaryPropagator< View, pc >::x2 [protected]
 

Definition at line 110 of file propagator.icc.


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