Gecode::Int::Linear::ReLinBoolView< XV, YV, BV > Class Template Reference
Base-class for reified Boolean linear propagators. More...
#include <linear.hh>
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] |
The documentation for this class was generated from the following file:
- gecode/int/linear.hh (Revision: 9973)