StressDistinct Class Reference
[Scripts for stress tests]
Example: Stress distinct propagator More...
Public Member Functions | |
| StressDistinct (const SizeOptions &opt) | |
| The actual problem. | |
| StressDistinct (bool share, StressDistinct &s) | |
| Constructor for cloning s. | |
| virtual Space * | copy (bool share) |
| Perform copying during cloning. | |
| virtual void | print (std::ostream &os) const |
| Print solution. | |
Protected Attributes | |
| IntVarArray | x |
| Variables. | |
Detailed Description
Example: Stress distinct propagator
Performs propagation on a pathological example. The example is taken from: Jean-Francois Puget, A fast algorithm for the bound consistency of alldiff constraints, AAAI-98, pages 359-366, July 1998, Madison, WI, USA.
Definition at line 53 of file stress-distinct.cpp.
Constructor & Destructor Documentation
| StressDistinct::StressDistinct | ( | const SizeOptions & | opt | ) | [inline] |
The actual problem.
Definition at line 59 of file stress-distinct.cpp.
| StressDistinct::StressDistinct | ( | bool | share, | |
| StressDistinct & | s | |||
| ) | [inline] |
Constructor for cloning s.
Definition at line 66 of file stress-distinct.cpp.
Member Function Documentation
| virtual Space* StressDistinct::copy | ( | bool | share | ) | [inline, virtual] |
Perform copying during cloning.
Implements Gecode::Space.
Definition at line 71 of file stress-distinct.cpp.
| virtual void StressDistinct::print | ( | std::ostream & | os | ) | const [inline, virtual] |
Print solution.
Reimplemented from Gecode::Driver::ScriptBase< Space >.
Definition at line 76 of file stress-distinct.cpp.
Member Data Documentation
IntVarArray StressDistinct::x [protected] |
Variables.
Definition at line 56 of file stress-distinct.cpp.
The documentation for this class was generated from the following file:
- examples/stress-distinct.cpp (Revision: 8649)