Generated on Wed Nov 1 15:04:51 2006 for Gecode by doxygen 1.4.5

AllInterval Class Reference
[Example scripts (models), Example scripts (models)]

Inherits Example, and Example.

List of all members.

Detailed Description

Example: All-Interval Series

This 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 $ S_n = \{0, \dots, n - 1\} $.
void adiff_sn_star (Space *home, IntVarArray &x)
 Constrain x to be a permuation of $ S^*_n = S_n \setminus \{0\} $.
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]
 

Actual model.

Definition at line 54 of file all-interval.cc.

AllInterval::AllInterval (  bool  share,
AllInterval &  e
)  [inline]
 

Constructor for cloning e.

Definition at line 78 of file all-interval.cc.

Member Function Documentation

void AllInterval::adiff_sn (  Space *  home,
IntVarArray &  x
)  [inline]
 

Constrain x to be a permuation of $ S_n = \{0, \dots, n - 1\} $.

$ \forall i, j\in S_n, i\neq j: x_i \neq x_j$

Definition at line 46 of file all-interval-sort.cc.

void AllInterval::adiff_sn_star (  Space *  home,
IntVarArray &  x
)  [inline]
 

Constrain x to be a permuation of $ S^*_n = S_n \setminus \{0\} $.

$ \forall i, j\in S^*_n, i\neq j: x_i \neq x_j$

Definition at line 63 of file all-interval-sort.cc.

void AllInterval::difference (  Space *  home,
IntVarArray &  x,
IntVarArray &  d
)  [inline]
 

Constrain d to hold the differences of neighboured x-variables.

$ \forall i \in S^*_n: d_i = |x_i - x_{i - 1}|$

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]
 

Reimplemented from Example.

Definition at line 170 of file all-interval-sort.cc.

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

Copy during cloning.

Implements Gecode::Space.

Definition at line 84 of file all-interval.cc.

virtual void AllInterval::print (  void   )  [inline, virtual]
 

Print solution.

Reimplemented from Example.

Definition at line 89 of file all-interval.cc.

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