Generated on Mon May 10 06:46:53 2010 for Gecode by doxygen 1.6.3

StressElement Class Reference
[Scripts for stress tests]

Example: Stress test for element constraint (involving integers) More...

List of all members.

Public Member Functions

 StressElement (const Options &)
 The actual problem.
 StressElement (bool share, StressElement &s)
 Constructor for cloning s.
virtual Spacecopy (bool share)
 Perform copying during cloning.
virtual void print (std::ostream &os) const
 Print solution.

Protected Attributes

IntVarArray x
 Variables.

Static Protected Attributes

static const int n = 15
 Number of elements in array.
static const int m = 90
 Largest number.
static const int p [n] = {16,35,90,42,88,6,40,42,64,48,46,5,90,29,70}
 Array arguments.

Detailed Description

Example: Stress test for element constraint (involving integers)

This stress test is an adaption of the benchmark for element posted by Neng-Fa Zhou for B-Prolog, November, 2005.

Definition at line 52 of file stress-element.cpp.


Constructor & Destructor Documentation

StressElement::StressElement ( const Options  )  [inline]

The actual problem.

Definition at line 65 of file stress-element.cpp.

StressElement::StressElement ( bool  share,
StressElement s 
) [inline]

Constructor for cloning s.

Definition at line 84 of file stress-element.cpp.


Member Function Documentation

virtual Space* StressElement::copy ( bool  share  )  [inline, virtual]

Perform copying during cloning.

Definition at line 90 of file stress-element.cpp.

virtual void StressElement::print ( std::ostream &  os  )  const [inline, virtual]

Print solution.

Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.

Definition at line 96 of file stress-element.cpp.


Member Data Documentation

const int StressElement::n = 15 [static, protected]

Number of elements in array.

Definition at line 55 of file stress-element.cpp.

const int StressElement::m = 90 [static, protected]

Largest number.

Definition at line 57 of file stress-element.cpp.

const int StressElement::p = {16,35,90,42,88,6,40,42,64,48,46,5,90,29,70} [static, protected]

Array arguments.

Definition at line 59 of file stress-element.cpp.

Variables.

Definition at line 62 of file stress-element.cpp.


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