AllInterval Class Reference
[Example scripts (models)]
Inherits Example.
Detailed Description
Example: All-Interval SeriesThis is prob007 in the category "combinatorial mathematics" of http://www.csplib.org/.
Definition at line 34 of file all-interval.cc.
Static Symmetrie Breaking | |
This is taken from: I.P. Gent and I. McDonald and B.M. Smith, Conditional Symmetry in the All-Interval Series Problem, Proceedings of the Third International Workshop on Symmetry in Constraint Satisfaction Problems, pages 55-65, 2003. | |
void | break_negation (Space *home, IntVarArray &x) |
void | break_reversal (Space *home, IntVarArray &d) |
Public Member Functions | |
void | adiff_sn (Space *home, IntVarArray &x) |
Constrain x to be a permuation of ![]() | |
void | adiff_sn_star (Space *home, IntVarArray &x) |
Constrain x to be a permuation of ![]() | |
void | difference (Space *home, IntVarArray &x, IntVarArray &d) |
Constrain d to hold the differences of neighboured x-variables. | |
AllInterval (const Options &op) | |
AllInterval (bool share, AllInterval &a) | |
virtual Space * | copy (bool share) |
Copying member function. | |
virtual void | print (void) |
Constructor & Destructor Documentation
|
Definition at line 127 of file all-interval.cc. |
|
Definition at line 158 of file all-interval.cc. |
Member Function Documentation
|
Constrain x to be a permuation of
Definition at line 46 of file all-interval.cc. |
|
Constrain x to be a permuation of
Definition at line 63 of file all-interval.cc. |
|
Constrain d to hold the differences of neighboured x-variables.
Definition at line 78 of file all-interval.cc. |
|
Definition at line 111 of file all-interval.cc. |
|
Definition at line 122 of file all-interval.cc. |
|
Copying member function. Must create a new object using the constructor for cloning. Implements Gecode::Space. Definition at line 166 of file all-interval.cc. |
|
Reimplemented from Example. Definition at line 170 of file all-interval.cc. |
The documentation for this class was generated from the following file:
- examples/all-interval.cc (Revision: 2654)