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::IntPropLevel ipl0)
	Create and register test.
virtual bool	run (void)
	Perform test.
Protected Attributes
int	n
	Number of variables.
Gecode::IntPropLevel	ipl
	Consistency level.

---

Detailed Description

Testing pathological cases

Definition at line 193 of file distinct.cpp.

---

Constructor & Destructor Documentation

Test::Int::Distinct::Pathological::Pathological	(	int	n0,
		Gecode::IntPropLevel	ipl0
	)			[inline]

Create and register test.

Definition at line 214 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 218 of file distinct.cpp.

---

Member Data Documentation

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

Number of variables.

Definition at line 196 of file distinct.cpp.

Gecode::IntPropLevel Test::Int::Distinct::Pathological::ipl [protected]

Consistency level.

Definition at line 198 of file distinct.cpp.

---

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

• test/int/distinct.cpp