Gecode::Int::Linear::Lin< Val, P, N, pc > Class Template Reference
#include <linear.hh>
Inherits Gecode::Propagator.
Inherited by Gecode::Int::Linear::ReLin< Val, P, N, PC_INT_BND, BoolView >, and Gecode::Int::Linear::ReLin< Val, P, N, PC_INT_BND, Ctrl >.
Detailed Description
template<class Val, class P, class N, PropCond pc>
class Gecode::Int::Linear::Lin< Val, P, N, pc >
Baseclass for nary linear propagators.
The type Val can be either double
or int
, defining the numerical precision during propagation. Positive views are of type P whereas negative views are of type N.
The propagation condition pc refers to all views.
Definition at line 477 of file linear.hh.
Public Member Functions  
virtual PropCost  cost (void) const 
Cost function (defined as dynamic PC_LINEAR_LO).  
virtual size_t  dispose (Space *home) 
Delete propagator and return its size.  
Protected Member Functions  
Lin (Space *home, bool share, Lin &p)  
Constructor for cloning p.  
Lin (Space *home, ViewArray< P > &x, ViewArray< N > &y, Val c)  
Constructor for creation.  
Protected Attributes  
ViewArray< P >  x 
Array of positive views.  
ViewArray< N >  y 
Array of negative views.  
Val  c 
Constant value.  
Related Functions  
(Note that these are not member functions.)  
void  bounds_p (const Propagator *, ViewArray< View > &x, Val &c, Val &sl, Val &su) 
Compute bounds information for positive views.  
void  bounds_n (const Propagator *, ViewArray< View > &y, Val &c, Val &sl, Val &su) 
Compute bounds information for negative views. 
Constructor & Destructor Documentation

Constructor for cloning p.


Constructor for creation.

Member Function Documentation

Cost function (defined as dynamic PC_LINEAR_LO).
Implements Gecode::Propagator. Reimplemented in Gecode::Int::Linear::DomEq< Val, View >. 

Delete propagator and return its size.
Reimplemented from Gecode::Actor. Reimplemented in Gecode::Int::Linear::ReLin< Val, P, N, pc, Ctrl >, Gecode::Int::Linear::ReLin< Val, P, N, PC_INT_BND, Ctrl >, and Gecode::Int::Linear::ReLin< Val, P, N, PC_INT_BND, BoolView >. 
Friends And Related Function Documentation

Compute bounds information for positive views.


Compute bounds information for negative views.

Member Data Documentation

Array of positive views.


Array of negative views.


Constant value.

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