Generated on Mon Aug 25 11:35:52 2008 for Gecode by doxygen 1.5.6
Gecode::Int::Linear::EqBoolInt

Gecode::Int::Linear::EqBoolInt< VX > Class Template Reference
[Integer propagators]

#include <linear.hh>

List of all members.

Detailed Description

template<class VX>
class Gecode::Int::Linear::EqBoolInt< VX >

Propagator for integer equal to Boolean sum (cardinality)

Requires 

 #include "gecode/int/linear.hh"

Definition at line 965 of file linear.hh.


Static Public Member Functions

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

Static Public Attributes

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

Classes

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

Member Function Documentation

template<class VX>
ExecStatus Gecode::Int::Linear::EqBoolInt< VX >::post ( Space *  home,
ViewArray< VX > &  x,
int  c,
PropKind  pk = PK_DEF 
) [inline, static]

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

Definition at line 583 of file bool-int.icc.

Member Data Documentation

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

Threshold of whether to prefer speed or memory.

Definition at line 968 of file linear.hh.

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