Gecode::Int::Linear::ReEq< Val, P, N, Ctrl > Class Template Reference
[Integer propagators]
#include <linear.hh>
Inherits Gecode::Int::Linear::ReLin< Val, P, N, PC_INT_BND, Ctrl >.
Detailed Description
template<class Val, class P, class N, class Ctrl>
class Gecode::Int::Linear::ReEq< Val, P, N, Ctrl >
Propagator for reified boundsconsistent nary linear equality
The type Val can be either double
or int
, defining the numerical precision during propagation. The types P and N give the types of the views.
The propagation condition pc refers to both views.
Requires
#include "gecode/int/linear.hh"
Definition at line 618 of file linear.hh.
Public Member Functions  
ReEq (Space *home, ViewArray< P > &x, ViewArray< N > &y, Val c, Ctrl b)  
Constructor for creation.  
virtual Actor *  copy (Space *home, bool share) 
Create copy during cloning.  
virtual ExecStatus  propagate (Space *home) 
Perform propagation.  
Static Public Member Functions  
static ExecStatus  post (Space *home, ViewArray< P > &x, ViewArray< N > &y, Val c, Ctrl b) 
Post propagator for .  
Protected Member Functions  
ReEq (Space *home, bool share, ReEq &p)  
Constructor for cloning p. 
Constructor & Destructor Documentation

Constructor for cloning p.


Constructor for creation.

Member Function Documentation

Create copy during cloning.
Implements Gecode::Actor. 

Perform propagation.
Implements Gecode::Propagator. 

Post propagator for .

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