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

#include <linear.hh>

Detailed Description

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

Requires

 #include "gecode/int/linear.hh"

Definition at line 1033 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 \geq 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...

template<class VX>

ExecStatus Gecode::Int::Linear::GqBoolInt< 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 \geq c$ .

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

template<class VX>

const int Gecode::Int::Linear::GqBoolInt< VX >::threshold = 32 [static]

Threshold of whether to prefer speed or memory.

Definition at line 1036 of file linear.hh.

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