Test::Int::Distinct::Pathological Class Reference
[Distinct constraints]

Inherits Test::Base.

List of all members.

---

Detailed Description

Testing pathological cases.

Definition at line 142 of file distinct.cc.

Public Member Functions
	Pathological (int n0, Gecode::IntConLevel icl0)
	Create and register test.
virtual bool	run (void)
	Perform test.
Protected Attributes
int	n
	Number of variables.
Gecode::IntConLevel	icl
	Consistency level.
Classes
class	TestSpace
	Test space. More...

---

Constructor & Destructor Documentation

Test::Int::Distinct::Pathological::Pathological	(	int	n0,
		Gecode::IntConLevel	icl0
	)			[inline]

Create and register test.

Definition at line 163 of file distinct.cc.

---

Member Function Documentation

virtual bool Test::Int::Distinct::Pathological::run

(

void

)

[inline, virtual]

Perform test.

Implements Test::Base.

Definition at line 167 of file distinct.cc.

---

Member Data Documentation

int Test::Int::Distinct::Pathological::n [protected]

Number of variables.

Definition at line 145 of file distinct.cc.

Gecode::IntConLevel Test::Int::Distinct::Pathological::icl [protected]

Consistency level.

Definition at line 147 of file distinct.cc.

---

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

• test/int/distinct.cc (Revision: 6324)