Test::Int::Cumulatives::Ass Class Reference
[Cumnulatives scheduling constraint]
Script for generating assignments. More...
Public Member Functions | |
Ass (int n, const Gecode::IntSet &d) | |
Initialize model for assignments. | |
Ass (bool share, Ass &s) | |
Constructor for cloning s. | |
virtual Gecode::Space * | copy (bool share) |
Create copy during cloning. | |
Public Attributes | |
Gecode::IntVarArray | x |
Store task information. |
Detailed Description
Script for generating assignments.
We are only interested in assignments that represent tasks (s_i, d_i, e_i, h_i) such that the following hold:
- The task starts at a positive time and has some extension.
- The equation s_i + d_i = e_i holds.
- The tasks are ordered to remove some symmetries, i.e., s_i <= s_{i+1}
Definition at line 68 of file cumulatives.cpp.
Constructor & Destructor Documentation
Test::Int::Cumulatives::Ass::Ass | ( | int | n, | |
const Gecode::IntSet & | d | |||
) | [inline] |
Initialize model for assignments.
Definition at line 73 of file cumulatives.cpp.
Test::Int::Cumulatives::Ass::Ass | ( | bool | share, | |
Ass & | s | |||
) | [inline] |
Constructor for cloning s.
Definition at line 84 of file cumulatives.cpp.
Member Function Documentation
virtual Gecode::Space* Test::Int::Cumulatives::Ass::copy | ( | bool | share | ) | [inline, virtual] |
Create copy during cloning.
Implements Gecode::Space.
Definition at line 88 of file cumulatives.cpp.
Member Data Documentation
Store task information.
Definition at line 71 of file cumulatives.cpp.
The documentation for this class was generated from the following file:
- test/int/cumulatives.cpp (Revision: 12022)