main page modules namespaces classes files
Gecode home

Gecode::Int::Count::RelEqDom< VX > Class Template Reference

#include <count.hh>

List of all members.

---

Detailed Description

template<class VX>
class Gecode::Int::Count::RelEqDom< VX >

Relation for domain-consistent counting.

Definition at line 249 of file count.hh.

Public Member Functions
PropCond	cond (void) const
	Propagation condition (PC_INT_DOM).
RelTest	holds (VX x, VX y)
	Test whether x and y are equal.
RelTest	holds (VX x, ConstIntView y)
	Test whether x and y are equal.
ExecStatus	post_true (Space *home, ViewArray< VX > &x, VX y)
	Post that all views in x are equal to y.
ExecStatus	post_true (Space *home, ViewArray< VX > &x, ConstIntView y)
	Post that all views in x are equal to y.
ExecStatus	post_false (Space *home, ViewArray< VX > &x, VX y)
	Post that all views in x are not equal to y.
ExecStatus	post_false (Space *home, ViewArray< VX > &x, ConstIntView y)
	Post that all views in x are not equal to y.

---

Member Function Documentation

template<class VX>

PropCond Gecode::Int::Count::RelEqDom< VX >::cond

(

void

)

const [inline]

Propagation condition (PC_INT_DOM).

Definition at line 86 of file rel.icc.

template<class VX>

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

Test whether x and y are equal.

Definition at line 96 of file rel.icc.

template<class VX>

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

Test whether x and y are equal.

Definition at line 91 of file rel.icc.

template<class VX>

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

Post that all views in x are equal to y.

Definition at line 111 of file rel.icc.

template<class VX>

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

Post that all views in x are equal to y.

Definition at line 101 of file rel.icc.

template<class VX>

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

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

Definition at line 116 of file rel.icc.

template<class VX>

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

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

Definition at line 106 of file rel.icc.

---

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

• gecode/int/count.hh (Revision: 3246)
• gecode/int/count/rel.icc (Revision: 3188)