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

Propagator for integer 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)
	Post propagator for .
Static Public Attributes
static const int	threshold = 32
	Threshold of whether to prefer speed or memory.

---

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 831 of file linear.hh.

---

Member Function Documentation

template<class VX >

ExecStatus Gecode::Int::Linear::EqBoolInt< VX >::post	(	Space &	home,
		ViewArray< VX > &	x,
		int	c
	)			[inline, static]

Post propagator for .

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

---

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 834 of file linear.hh.

---

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

• gecode/int/linear.hh (Revision: 8215)
• gecode/int/linear/bool-int.hpp (Revision: 8514)