Test::Int::Dom::DomDom Class Reference
[Domain constraints]

Inherits Test::Int::Test.

List of all members.

---

Detailed Description

Test for domain constraint (full integer set).

Definition at line 84 of file dom.cc.

Public Member Functions
	DomDom (int n)
	Create and register test.
virtual bool	solution (const Assignment &x) const
	Test whether x is solution.
virtual void	post (Gecode::Space *home, Gecode::IntVarArray &x)
	Post constraint on x.
virtual void	post (Gecode::Space *home, Gecode::IntVarArray &x, Gecode::BoolVar b)
	Post reified constraint on x for b.

---

Constructor & Destructor Documentation

Test::Int::Dom::DomDom::DomDom

(

int

n

)

[inline]

Create and register test.

Definition at line 87 of file dom.cc.

---

Member Function Documentation

virtual bool Test::Int::Dom::DomDom::solution

(

const Assignment &

x

)

const [inline, virtual]

Test whether x is solution.

Implements Test::Int::Test.

Definition at line 89 of file dom.cc.

virtual void Test::Int::Dom::DomDom::post	(	Gecode::Space *	home,
		Gecode::IntVarArray &	x
	)			[inline, virtual]

Post constraint on x.

Implements Test::Int::Test.

Definition at line 99 of file dom.cc.

virtual void Test::Int::Dom::DomDom::post	(	Gecode::Space *	home,
		Gecode::IntVarArray &	x,
		Gecode::BoolVar	b
	)			[inline, virtual]

Post reified constraint on x for b.

Reimplemented from Test::Int::Test.

Definition at line 106 of file dom.cc.

---

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

• test/int/dom.cc (Revision: 6199)