Gecode::Int::Count Namespace Reference

Counting propagators. More...

Classes
class	IntBase
	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	ViewBase
	Base-class for count propagators (view). More...
class	EqView
	Propagator for counting views (equal to 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<>
ViewTypeDesc	vtd (const IntSet &y)
template<>
ViewTypeDesc	vtd (ConstIntView y)
template<>
ViewTypeDesc	vtd (ZeroIntView y)
void	subscribe (Space &home, Propagator &p, IntSet &y)
void	cancel (Space &home, Propagator &p, IntSet &y)
template<class VX >
ExecStatus	post_true (Home home, VX x, ConstIntView y)
template<class VX >
ExecStatus	post_true (Home home, VX x, ZeroIntView)
template<class VX >
ExecStatus	post_true (Home home, VX x, const IntSet &y)
template<class VX >
ExecStatus	post_false (Home home, VX x, ConstIntView y)
template<class VX >
ExecStatus	post_false (Home home, VX x, ZeroIntView)
template<class VX >
ExecStatus	post_false (Home home, VX x, const IntSet &y)
template<class VX >
ExecStatus	post_true (Home home, VX x, VX y)
template<class VX >
ExecStatus	post_false (Home home, VX x, VX y)
template<class VX >
ExecStatus	prune (Space &home, ViewArray< VX > &x, ConstIntView)
template<class VX >
ExecStatus	prune (Space &home, ViewArray< VX > &x, ZeroIntView)
template<class VX >
ExecStatus	prune (Space &home, ViewArray< VX > &x, const IntSet &y)
template<class VX >
ExecStatus	prune (Space &home, ViewArray< VX > &x, VX y)
template<class VX >
bool	shared (const IntSet &, VX)
enum	ViewTypeDesc { VTD_CONSTVIEW, VTD_INTSET, VTD_VARVIEW }
	Description of view type. More...
template<class VY >
ViewTypeDesc	vtd (VY y)
	Return the view type description of y.
template<class VY >
void	subscribe (Space &home, Propagator &p, VY y)
	Subscribe propagator p to view y.
template<class VY >
void	cancel (Space &home, Propagator &p, VY y)
	Cancel propagator p for view y.
template<class VX >
RelTest	holds (VX x, ConstIntView y)
	Test whether x and y are equal.
template<class VX >
RelTest	holds (VX x, ZeroIntView y)
	Test whether x and y are equal.
template<class VX >
RelTest	holds (VX x, const IntSet &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 >
ExecStatus	post_true (Home home, ViewArray< VX > &x, ConstIntView y)
	Post that all views in x are equal to y.
template<class VX >
ExecStatus	post_true (Home home, ViewArray< VX > &x, ZeroIntView y)
	Post that all views in x are equal to y.
template<class VX >
ExecStatus	post_true (Home home, ViewArray< VX > &x, const IntSet &y)
	Post that all views in x are equal to y.
template<class VX >
ExecStatus	post_false (Home home, ViewArray< VX > &x, ConstIntView y)
	Post that all views in x are not equal to y.
template<class VX >
ExecStatus	post_false (Home home, ViewArray< VX > &x, ZeroIntView y)
	Post that all views in x are not equal to y.
template<class VX >
ExecStatus	post_false (Home home, ViewArray< VX > &x, const IntSet &y)
	Post that all views in x are not equal to y.
template<class VX >
ExecStatus	post_true (Home home, ViewArray< VX > &x, VX y)
	Post that all views in x are equal to y.
template<class VX >
ExecStatus	post_false (Home home, ViewArray< VX > &x, VX y)
	Post that all views in x are not equal to y.
template<class VX >
ExecStatus	prune (Home home, ViewArray< VX > &x, VX y)
	Prune that y is the union of x.
template<class VX >
ExecStatus	prune (Home home, ViewArray< VX > &x, ConstIntView y)
	Prune that y is the union of x.
template<class VX >
ExecStatus	prune (Home home, ViewArray< VX > &x, ZeroIntView y)
	Prune that y is the union of x.
template<class VX >
ExecStatus	prune (Home home, ViewArray< VX > &x, const IntSet &y)
	Prune that y is the union of x.

---

Detailed Description

Counting propagators.

---

Enumeration Type Documentation

enum Gecode::Int::Count::ViewTypeDesc

Description of view type.

Relations for domain consistent counting

Enumerator:

VTD_CONSTVIEW	Constant view.
VTD_INTSET	Integer set.
VTD_VARVIEW	Variable view.

Definition at line 58 of file count.hh.

---

Function Documentation

template<class VY >

ViewTypeDesc Gecode::Int::Count::vtd

(

VY

y

)

[inline]

Return the view type description of y.

template<>

ViewTypeDesc Gecode::Int::Count::vtd

(

const IntSet &

y

)

[inline]

Definition at line 55 of file rel.hpp.

template<>

ViewTypeDesc Gecode::Int::Count::vtd

(

ConstIntView

y

)

[inline]

Definition at line 61 of file rel.hpp.

template<>

ViewTypeDesc Gecode::Int::Count::vtd

(

ZeroIntView

y

)

[inline]

Definition at line 67 of file rel.hpp.

void Gecode::Int::Count::subscribe	(	Space &	home,
		Propagator &	p,
		IntSet &	y
	)			[inline]

Definition at line 74 of file rel.hpp.

template<class VY >

void Gecode::Int::Count::subscribe	(	Space &	home,
		Propagator &	p,
		VY	y
	)			[inline]

Subscribe propagator p to view y.

void Gecode::Int::Count::cancel	(	Space &	home,
		Propagator &	p,
		IntSet &	y
	)			[inline]

Definition at line 84 of file rel.hpp.

template<class VY >

void Gecode::Int::Count::cancel	(	Space &	home,
		Propagator &	p,
		VY	y
	)			[inline]

Cancel propagator p for view y.

template<class VX >

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

Test whether x and y are equal.

template<class VX >

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

Test whether x and y are equal.

template<class VX >

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

Test whether x and y are equal.

template<class VX >

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

Test whether x and y are equal.

template<class VX >

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

Definition at line 132 of file rel.hpp.

template<class VX >

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

Definition at line 138 of file rel.hpp.

template<class VX >

ExecStatus Gecode::Int::Count::post_true	(	Home	home,
		VX	x,
		const IntSet &	y
	)			[inline]

Definition at line 144 of file rel.hpp.

template<class VX >

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

Post that all views in x are equal to y.

template<class VX >

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

Post that all views in x are equal to y.

template<class VX >

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

Post that all views in x are equal to y.

template<class VX >

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

Definition at line 175 of file rel.hpp.

template<class VX >

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

Definition at line 181 of file rel.hpp.

template<class VX >

ExecStatus Gecode::Int::Count::post_false	(	Home	home,
		VX	x,
		const IntSet &	y
	)			[inline]

Definition at line 187 of file rel.hpp.

template<class VX >

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

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

template<class VX >

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

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

template<class VX >

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

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

template<class VX >

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

Post that all views in x are equal to y.

template<class VX >

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

Definition at line 227 of file rel.hpp.

template<class VX >

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

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

template<class VX >

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

Definition at line 239 of file rel.hpp.

template<class VX >

ExecStatus Gecode::Int::Count::prune	(	Space &	home,
		ViewArray< VX > &	x,
		ConstIntView
	)			[inline]

Definition at line 245 of file rel.hpp.

template<class VX >

ExecStatus Gecode::Int::Count::prune	(	Space &	home,
		ViewArray< VX > &	x,
		ZeroIntView
	)			[inline]

Definition at line 252 of file rel.hpp.

template<class VX >

ExecStatus Gecode::Int::Count::prune	(	Space &	home,
		ViewArray< VX > &	x,
		const IntSet &	y
	)			[inline]

Definition at line 259 of file rel.hpp.

template<class VX >

ExecStatus Gecode::Int::Count::prune	(	Space &	home,
		ViewArray< VX > &	x,
		VX	y
	)			[inline]

Definition at line 267 of file rel.hpp.

template<class VX >

bool Gecode::Int::Count::shared	(	const IntSet &	,
		VX
	)			[inline]

Definition at line 114 of file view-base.hpp.

template<class VX >

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

Prune that y is the union of x.

template<class VX >

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

Prune that y is the union of x.

template<class VX >

ExecStatus Gecode::Int::Count::prune	(	Home	home,
		ViewArray< VX > &	x,
		ZeroIntView	y
	)			[inline]

Prune that y is the union of x.

template<class VX >

ExecStatus Gecode::Int::Count::prune	(	Home	home,
		ViewArray< VX > &	x,
		const IntSet &	y
	)			[inline]

Prune that y is the union of x.