Gecode::Int::Linear::ReLinBin< Val, A, B, pc, Ctrl > Class Template Reference
#include <linear.hh>
Inherits Gecode::Propagator.
Detailed Description
template<class Val, class A, class B, PropCond pc, class Ctrl>
class Gecode::Int::Linear::ReLinBin< Val, A, B, pc, Ctrl >
Baseclass for reified binary linear propagators.
The type Val can be either double
or int
, defining the numerical precision during propagation. The types A and B give the types of the views.
The propagation condition pc refers to both views.
Definition at line 82 of file linear.hh.
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  
ReLinBin (Space *home, bool share, ReLinBin &p)  
Constructor for cloning p.  
ReLinBin (Space *home, A x0, B x1, Val c, Ctrl b)  
Constructor for creation.  
Protected Attributes  
A  x0 
View of type A.  
B  x1 
View of type B.  
Val  c 
Value of type Val.  
Ctrl  b 
Control view for reification. 
Constructor & Destructor Documentation

Constructor for cloning p.


Constructor for creation.
Definition at line 76 of file binary.icc. 
Member Function Documentation

Cost function (defined as PC_BINARY_LO).
Implements Gecode::Propagator. Definition at line 95 of file binary.icc. 

Delete propagator and return its size.
Reimplemented from Gecode::Actor. Definition at line 101 of file binary.icc. 
Member Data Documentation

View of type A.


View of type B.


Value of type Val.


Control view for reification.

The documentation for this class was generated from the following files:
 gecode/int/linear.hh (Revision: 3604)
 gecode/int/linear/binary.icc (Revision: 3512)