Generated on Mon Nov 30 23:53:53 2009 for Gecode by doxygen 1.6.1

Gecode::Int::Linear::ReLinBoolView< XV, YV, BV > Class Template Reference

Base-class for reified Boolean 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

 ReLinBoolView (Space &home, bool share, ReLinBoolView &p)
 Constructor for cloning p.
 ReLinBoolView (Home home, ViewArray< XV > &x, YV y, int c, BV b)
 Constructor for creation.

Protected Attributes

BV b
 Control variable.

Detailed Description

template<class XV, class YV, class BV>
class Gecode::Int::Linear::ReLinBoolView< XV, YV, BV >

Base-class for reified Boolean linear propagators.

Definition at line 1030 of file linear.hh.


Constructor & Destructor Documentation

template<class XV , class YV , class BV >
Gecode::Int::Linear::ReLinBoolView< XV, YV, BV >::ReLinBoolView ( Space home,
bool  share,
ReLinBoolView< XV, YV, BV > &  p 
) [protected]

Constructor for cloning p.

template<class XV , class YV , class BV >
Gecode::Int::Linear::ReLinBoolView< XV, YV, BV >::ReLinBoolView ( Home  home,
ViewArray< XV > &  x,
YV  y,
int  c,
BV  b 
) [protected]

Constructor for creation.


Member Function Documentation

template<class XV , class YV , class BV >
virtual size_t Gecode::Int::Linear::ReLinBoolView< XV, YV, BV >::dispose ( Space home  )  [virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Int::Linear::LinBoolView< XV, YV >.


Member Data Documentation

template<class XV , class YV , class BV >
BV Gecode::Int::Linear::ReLinBoolView< XV, YV, BV >::b [protected]

Control variable.

Definition at line 1036 of file linear.hh.


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