Generated on Mon Jul 6 18:09:35 2009 for Gecode by doxygen 1.5.9
Gecode::Int::Linear::ReGqBoolInt

Gecode::Int::Linear::ReGqBoolInt< VX, VB > Class Template Reference
[Integer propagators]

Propagator for reified integer less or equal to Boolean sum (cardinality) More...

#include <linear.hh>

List of all members.

Classes

class  Memory
 Propagator using less memory but with linear runtime. More...
class  Speed
 Propagator using more memory but with constant runtime. More...

Static Public Member Functions

static ExecStatus post (Space &home, ViewArray< VX > &x, int c, VB b)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i \geq c <=> b$.

Static Public Attributes

static const int threshold = 32
 Threshold of whether to prefer speed or memory.

Detailed Description

template<class VX, class VB>
class Gecode::Int::Linear::ReGqBoolInt< VX, VB >

Propagator for reified integer less or equal to Boolean sum (cardinality)

Requires 

 #include "gecode/int/linear.hh"

Definition at line 1018 of file linear.hh.

Member Function Documentation

template<class VX , class VB >
ExecStatus Gecode::Int::Linear::ReGqBoolInt< VX, VB >::post ( Space &  home,
ViewArray< VX > &  x,
int  c,
VB  b 
) [inline, static]

Post propagator for $\sum_{i=0}^{|x|-1}x_i \geq c <=> b$.

Definition at line 1080 of file bool-int.hpp.

Member Data Documentation

template<class VX , class VB >
const int Gecode::Int::Linear::ReGqBoolInt< VX, VB >::threshold = 32 [static]

Threshold of whether to prefer speed or memory.

Definition at line 1021 of file linear.hh.

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