diff options
| author | Alexander Wieder <awieder@mpi-sws.org> | 2013-04-30 10:57:59 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-05-01 04:17:50 -0400 |
| commit | b7380c730702f5c8a41ca89b007facd815f8d31d (patch) | |
| tree | a419f59ebc3fb91a98b2fc2444704ded01c79cf3 /example/mapping.py | |
| parent | 762565248b57d39bac5934da627f09d17e12df8c (diff) | |
Bugfix: de-duplicate definition of assign_ids_by_period
The Python taskmodel implementation, TaskSystem, has multiple
definitions of assign_ids_by_period(), where one of them actually
assigns IDs by deadline. This patch renames the method accordingly.
Diffstat (limited to 'example/mapping.py')
0 files changed, 0 insertions, 0 deletions