Gecode::Int::Count Namespace Reference

Counting propagators. More...

Classes
class	BaseInt
	Baseclass for count propagators (integer) More...
class	EqInt
	Propagator for counting views (equal integer to number of equal views) More...
class	GqInt
	Propagator for counting views (greater or equal integer to number of equal views) More...
class	LqInt
	Propagator for counting views (less or equal integer to number of equal views) More...
class	NqInt
	Propagator for counting views (not equal integer to number of equal views) More...
class	BaseView
	Base-class for count propagators (view) More...
class	EqView
	Propagator for counting views (equal to number of equal views) More...
class	NqView
	Propagator for counting views (different from number of equal views) More...
class	LqView
	Propagator for counting views (less or equal to number of equal views) More...
class	GqView
	Propagator for counting views (greater or equal to number of equal views) More...
Functions
template<class VX >
RelTest	holds (VX x, ZeroIntView)
template<class VX >
bool	post_true (Home home, VX x, ConstIntView y)
template<class VX >
bool	post_true (Home home, VX x, ZeroIntView)
template<class VX >
bool	post_true (Home home, ViewArray< VX > &x, ZeroIntView)
template<class VX >
bool	post_false (Home home, VX x, ConstIntView y)
template<class VX >
bool	post_false (Home home, VX x, ZeroIntView)
template<class VX >
bool	post_false (Home home, ViewArray< VX > &x, ZeroIntView)
template<class VX >
bool	post_true (Home home, VX x, VX y)
template<class VX >
bool	post_false (Home home, VX x, VX y)
template<class VX >
RelTest	holds (VX x, ConstIntView y)
	Test whether x and y are equal.
template<class VX >
RelTest	holds (VX x, VX y)
	Test whether x and y are equal.
template<class VX >
bool	post_true (Home home, ViewArray< VX > &x, ConstIntView y)
	Post that all views in x are equal to y.
template<class VX >
bool	post_false (Home home, ViewArray< VX > &x, ConstIntView y)
	Post that all views in x are not equal to y.
template<class VX >
bool	post_true (Home home, ViewArray< VX > &x, VX y)
	Post that all views in x are equal to y.
template<class VX >
bool	post_false (Home home, ViewArray< VX > &x, VX y)
	Post that all views in x are not equal to y.

---

Detailed Description

Counting propagators.

---

Function Documentation

template<class VX >

RelTest Gecode::Int::Count::holds	(	VX	x,
		ConstIntView	y
	)		[inline]

Test whether x and y are equal.

Definition at line 49 of file rel.hpp.

template<class VX >

RelTest Gecode::Int::Count::holds	(	VX	x,
		ZeroIntView
	)		[inline]

Definition at line 54 of file rel.hpp.

template<class VX >

RelTest Gecode::Int::Count::holds	(	VX	x,
		VX	y
	)		[inline]

Test whether x and y are equal.

Relations for domain consistent counting

Definition at line 59 of file rel.hpp.

template<class VX >

bool Gecode::Int::Count::post_true	(	Home	home,
		VX	x,
		ConstIntView	y
	)		[inline]

Definition at line 64 of file rel.hpp.

template<class VX >

bool Gecode::Int::Count::post_true	(	Home	home,
		VX	x,
		ZeroIntView
	)		[inline]

Definition at line 69 of file rel.hpp.

template<class VX >

bool Gecode::Int::Count::post_true	(	Home	home,
		ViewArray< VX > &	x,
		ConstIntView	y
	)		[inline]

Post that all views in x are equal to y.

Definition at line 74 of file rel.hpp.

template<class VX >

bool Gecode::Int::Count::post_true	(	Home	home,
		ViewArray< VX > &	x,
		ZeroIntView
	)		[inline]

Definition at line 82 of file rel.hpp.

template<class VX >

bool Gecode::Int::Count::post_false	(	Home	home,
		VX	x,
		ConstIntView	y
	)		[inline]

Definition at line 90 of file rel.hpp.

template<class VX >

bool Gecode::Int::Count::post_false	(	Home	home,
		VX	x,
		ZeroIntView
	)		[inline]

Definition at line 95 of file rel.hpp.

template<class VX >

bool Gecode::Int::Count::post_false	(	Home	home,
		ViewArray< VX > &	x,
		ConstIntView	y
	)		[inline]

Post that all views in x are not equal to y.

Definition at line 100 of file rel.hpp.

template<class VX >

bool Gecode::Int::Count::post_false	(	Home	home,
		ViewArray< VX > &	x,
		ZeroIntView
	)		[inline]

Definition at line 108 of file rel.hpp.

template<class VX >

bool Gecode::Int::Count::post_true	(	Home	home,
		ViewArray< VX > &	x,
		VX	y
	)		[inline]

Post that all views in x are equal to y.

Definition at line 116 of file rel.hpp.

template<class VX >

bool Gecode::Int::Count::post_true	(	Home	home,
		VX	x,
		VX	y
	)		[inline]

Definition at line 125 of file rel.hpp.

template<class VX >

bool Gecode::Int::Count::post_false	(	Home	home,
		ViewArray< VX > &	x,
		VX	y
	)		[inline]

Post that all views in x are not equal to y.

Definition at line 130 of file rel.hpp.

template<class VX >

bool Gecode::Int::Count::post_false	(	Home	home,
		VX	x,
		VX	y
	)		[inline]

Definition at line 138 of file rel.hpp.