Generated on Tue Sep 25 2012 20:53:31 for Gecode by doxygen 1.7.5
Gecode::Int::Linear::ReLin Class Reference

Base-class for reified n-ary linear propagators. More...

#include <linear.hh>

List of all members.

Public Member Functions

virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Protected Member Functions

 ReLin (Space &home, bool share, ReLin &p)
 Constructor for cloning p.
 ReLin (Home home, ViewArray< P > &x, ViewArray< N > &y, Val c, Ctrl b)
 Constructor for creation.

Protected Attributes

Ctrl b
 Control view for reification.

Detailed Description

Base-class for reified n-ary 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.


Constructor & Destructor Documentation

Gecode::Int::Linear::ReLin::ReLin ( Space home,
bool  share,
ReLin p 
) [protected]

Constructor for cloning p.

Gecode::Int::Linear::ReLin::ReLin ( Home  home,
ViewArray< P > &  x,
ViewArray< N > &  y,
Val  c,
Ctrl  b 
) [inline, protected]

Constructor for creation.

Definition at line 101 of file int-nary.hpp.


Member Function Documentation

size_t Gecode::Int::Linear::ReLin::dispose ( Space home) [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Int::Linear::Lin< Val, P, N, pc >.

Definition at line 116 of file int-nary.hpp.


Member Data Documentation

Control view for reification.

Definition at line 528 of file linear.hh.


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