AllInterval Class Reference
[Example scripts (models), Example scripts (models)]
Inherits Example, and 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-sort.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) |
AllInterval (const Options &opt) | |
Actual model. | |
AllInterval (bool share, AllInterval &e) | |
Constructor for cloning e. | |
virtual Space * | copy (bool share) |
Copy during cloning. | |
virtual void | print (void) |
Print solution. |
Constructor & Destructor Documentation
AllInterval::AllInterval | ( | const Options & | op | ) | [inline] |
Definition at line 127 of file all-interval-sort.cc.
AllInterval::AllInterval | ( | bool | share, | |
AllInterval & | a | |||
) | [inline] |
Definition at line 158 of file all-interval-sort.cc.
AllInterval::AllInterval | ( | const Options & | opt | ) | [inline] |
AllInterval::AllInterval | ( | bool | share, | |
AllInterval & | e | |||
) | [inline] |
Member Function Documentation
void AllInterval::adiff_sn | ( | Space * | home, | |
IntVarArray & | x | |||
) | [inline] |
void AllInterval::adiff_sn_star | ( | Space * | home, | |
IntVarArray & | x | |||
) | [inline] |
void AllInterval::difference | ( | Space * | home, | |
IntVarArray & | x, | |||
IntVarArray & | d | |||
) | [inline] |
Constrain d to hold the differences of neighboured x-variables.
Definition at line 78 of file all-interval-sort.cc.
void AllInterval::break_negation | ( | Space * | home, | |
IntVarArray & | x | |||
) | [inline] |
Definition at line 111 of file all-interval-sort.cc.
void AllInterval::break_reversal | ( | Space * | home, | |
IntVarArray & | d | |||
) | [inline] |
Definition at line 122 of file all-interval-sort.cc.
virtual Space* AllInterval::copy | ( | bool | share | ) | [inline, virtual] |
Copying member function.
Must create a new object using the constructor for cloning.
Implements Gecode::Space.
Definition at line 166 of file all-interval-sort.cc.
virtual void AllInterval::print | ( | void | ) | [inline, virtual] |
virtual Space* AllInterval::copy | ( | bool | share | ) | [inline, virtual] |
virtual void AllInterval::print | ( | void | ) | [inline, virtual] |
The documentation for this class was generated from the following files:
- examples/all-interval-sort.cc (Revision: 3517)
- examples/all-interval.cc (Revision: 3517)