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

Testing pathological cases More...

List of all members.

Classes
class	TestSpace
	Test space More...
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.

---

Detailed Description

Testing pathological cases

Definition at line 142 of file distinct.cpp.

---

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.cpp.

---

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.cpp.

---

Member Data Documentation

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

Number of variables.

Definition at line 145 of file distinct.cpp.

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

Consistency level.

Definition at line 147 of file distinct.cpp.

---

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

• test/int/distinct.cpp (Revision: 12394)