Generated on Fri Oct 19 11:26:32 2018 for Gecode by doxygen 1.6.3

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

Number of variables.

Definition at line 196 of file distinct.cpp.

Consistency level.

Definition at line 198 of file distinct.cpp.


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