Test::Int::Scheduling::Ass Class Reference
[Scheduling constraints]
Inherits Gecode::Space.
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 scheduling.cc.
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. |
Constructor & Destructor Documentation
Test::Int::Scheduling::Ass::Ass | ( | int | n, | |
const Gecode::IntSet & | d | |||
) | [inline] |
Test::Int::Scheduling::Ass::Ass | ( | bool | share, | |
Ass & | s | |||
) | [inline] |
Member Function Documentation
virtual Gecode::Space* Test::Int::Scheduling::Ass::copy | ( | bool | share | ) | [inline, virtual] |
Member Data Documentation
The documentation for this class was generated from the following file:
- test/int/scheduling.cc (Revision: 7299)