python或tools调度问题检查文本是否为真

ao218c7q  于 2021-07-13  发布在  Java
关注(0)|答案(0)|浏览(536)

您好我使用工具或cp-sat模型来解决一个调度(时间表)问题。
我的模型如下

我试着写下下面的约束条件,当两门课在同一天的时候,把它们粘在一起

  1. def __lang_special_day_constraint_sticked(self, filtered_lessons, rooms, filtered_timeslots):
  2. for l in filtered_lessons:
  3. k = 0
  4. for r in rooms:
  5. for i in range(len(filtered_timeslots)):
  6. if i != 0 and i != len(filtered_timeslots)-1 and (l.lesson['id'],r['code'],filtered_timeslots[i]) in self.tables and (l.lesson['id'],r['code'],filtered_timeslots[i+1]) in self.tables and (l.lesson['id'],r['code'],filtered_timeslots[i-1]) in self.tables:
  7. self.model.AddBoolOr([self.tables[(l.lesson['id'],r['code'],filtered_timeslots[i-1])],self.tables[(l.lesson['id'],r['code'],filtered_timeslots[i+1])]]).OnlyEnforceIf(self.tables[(l.lesson['id'],r['code'],filtered_timeslots[i])])
  8. if self.tables[(l.lesson['id'],r['code'],filtered_timeslots[i])] == True:
  9. break
  10. elif i == 0 and (l.lesson['id'],r['code'],filtered_timeslots[i]) in self.tables and (l.lesson['id'],r['code'],filtered_timeslots[i+1]) in self.tables:
  11. self.model.AddBoolOr([self.tables[(l.lesson['id'],r['code'],filtered_timeslots[i+1])]]).OnlyEnforceIf(self.tables[(l.lesson['id'],r['code'],filtered_timeslots[i])])
  12. if self.tables[(l.lesson['id'],r['code'],filtered_timeslots[i])] == True:
  13. break
  14. elif i == (len(filtered_timeslots) - 1) and (l.lesson['id'],r['code'],filtered_timeslots[i]) in self.tables and (l.lesson['id'],r['code'],filtered_timeslots[i-1]) in self.tables:
  15. self.model.AddBoolOr([self.tables[(l.lesson['id'],r['code'],filtered_timeslots[i-1])]]).OnlyEnforceIf(self.tables[(l.lesson['id'],r['code'],filtered_timeslots[i])])
  16. if self.tables[(l.lesson['id'],r['code'],filtered_timeslots[i])] == True:
  17. break

我的目标是实现这一部分:

  1. if self.tables[(l.lesson['id'],r['code'],filtered_timeslots[i])] == True:
  2. break

我知道这是行不通的,但我想要类似的东西,所以当这个文字是真的,我会打破循环,停止进一步的迭代。
如有任何帮助,我们将不胜感激。

暂无答案!

目前还没有任何答案,快来回答吧!

相关问题