Generated on Mon Aug 25 11:35:48 2008 for Gecode by doxygen 1.5.6

StressElement Class Reference
[Scripts for stress tests]

Inherits Example.

List of all members.


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 49 of file stress-element.cc.


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

Constructor & Destructor Documentation

StressElement::StressElement ( const Options  )  [inline]

The actual problem.

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

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

Constructor for cloning s.

Definition at line 81 of file stress-element.cc.


Member Function Documentation

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

Perform copying during cloning.

Implements Gecode::Space.

Definition at line 87 of file stress-element.cc.

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

Print solution.

Reimplemented from Example.

Definition at line 93 of file stress-element.cc.


Member Data Documentation

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

Number of elements in array.

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

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

Largest number.

Definition at line 54 of file stress-element.cc.

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

Array arguments.

Reimplemented from Gecode::Space.

Definition at line 56 of file stress-element.cc.

Variables.

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


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