Gecode::Int::Linear::LinBool< View > Class Template Reference
#include <linear.hh>
Inherits Gecode::Propagator.
Inherited by Gecode::Int::Linear::EqBool< View >, Gecode::Int::Linear::GqBool< View >, Gecode::Int::Linear::LqBool< View >, and Gecode::Int::Linear::NqBool< View >.
Detailed Description
template<class View>
class Gecode::Int::Linear::LinBool< View >
Base-class for Boolean linear propagators.
Definition at line 703 of file linear.hh.
Public Member Functions | |
virtual PropCost | cost (void) const |
Cost function (defined as dynamic PC_LINEAR_LO). | |
virtual | ~LinBool (void) |
Destructor. | |
Protected Member Functions | |
void | eliminate (void) |
Eliminate assigned Boolean views. | |
void | all_one (Space *home) |
Post that all remaining Boolean views must be one. | |
void | all_zero (Space *home) |
Post that all remaining Boolean views must be zero. | |
LinBool (Space *home, bool share, LinBool &p) | |
Constructor for cloning p. | |
LinBool (Space *home, ViewArray< BoolView > &x, int n, View y) | |
Constructor for creation. | |
Protected Attributes | |
ViewArray< BoolView > | x |
Boolean views. | |
int | n |
Number of Boolean views assigned to 1. | |
View | y |
View to compare number of assigned Boolean views to. |
Constructor & Destructor Documentation
|
Constructor for cloning p.
|
|
Constructor for creation.
|
|
Destructor.
|
Member Function Documentation
|
Eliminate assigned Boolean views.
|
|
Post that all remaining Boolean views must be one.
|
|
Post that all remaining Boolean views must be zero.
|
|
Cost function (defined as dynamic PC_LINEAR_LO).
Implements Gecode::Propagator. |
Member Data Documentation
|
Boolean views.
|
|
Number of Boolean views assigned to 1.
|
|
View to compare number of assigned Boolean views to.
|
The documentation for this class was generated from the following files:
- int/linear.hh (Revision: 2467)
- int/linear/bool.icc (Revision: 2121)