跳转到主要内容

调整发现

每个安排都显示其背后的规则,您可以模拟关闭其中一条规则会产生什么影响,而无需实际关闭。

一个只说“这不可能”而止步不前的发现,其作用只发挥了一半。你真正想问的问题是我应该改变哪条规则。

One finding in full: what is wrong, the rule that proves it, and what to change.
One finding in full: what is wrong, the rule that proves it, and what to change.

每个发现都指明其规则

打开一个由规则产生的发现,它会列出这些约束,并使用它们自己的识别名称,而不是内部引用。选择一个规则名称,该规则将在报告顶部的面板中打开。该面板显示规则的权重、是否已启用,以及它所涉及的每位老师、学生组、教室、日期、课时和教学活动。

您将停留在报告页面。阅读规则不再会使您失去在发现列表中的位置。

在数据屏幕上,该面板还提供在表格中打开,它将带您到约束列表中的该规则。公共检查器没有约束表格,因此该面板不提供此功能。

对于无法排课的教学活动,报告还会显示它是如何走到这一步的——它最初有多少个起始时间,以及在每条规则之后还剩下多少个,按顺序排列。这个追踪通常就是答案所在:其中一步几乎总是一条比您预期更严格的规则。

问题根源已最小化

当一个教学活动没有合法的起始时间时,检查不会仅仅列出所有涉及它的规则。它会尝试找出仍然导致问题的最小规则集。

当一个教学活动受到十几个约束时,这一点很重要。被告知“这两条规则共同导致了这种情况不可能发生”是可操作的;而拿到一个包含十二条规则的列表则不然。

报告会告诉您何时成功。一个精简的列表会带有仅实际导致问题的规则字样。如果没有这些字样,列表将包含所有涉及该教学活动的规则,而缩小范围的工作将由您完成。检查有预算限制,因此非常大的文件可能会在完成精简之前耗尽预算。

“如果一条规则关闭了会怎样?”

⚠ 此功能仅在数据屏幕上可用。 fetviewer.com/check 上的公共检查器不提供此功能。

一个阻塞性发现有一个如果一条规则关闭了会怎样?按钮。它会针对发现中提到的每条规则,在排除该规则的情况下,重新运行整个检查一次。对于每条规则,它会显示文件仍然会有多少个阻塞性问题。它不会说明这些是哪些发现。

没有任何内容被保存,也没有任何内容被关闭。这只是一个问题,而不是编辑。当您关闭它时,您的规则将保持原样。

这是解决复杂问题的最快方法:您无需禁用规则、运行 FET 再撤销,而是依次询问每个候选规则,并更改实际导致问题的那个。

工作顺序

  1. 首先清除已证明不可能的发现。在它们消失之前,求解无法成功,因此其他任何操作都只是锦上添花。
  2. 使用追踪来找到最严格的步骤,而不是最近的规则。
  3. 在编辑任何内容之前,请询问“如果一条规则关闭了会怎样?”。
  4. 重新运行检查。报告会根据您当前的规则重新生成,因此会立即给出答案。
  5. 然后查看错误。悬空引用和重复项修复起来成本低廉,并且可以避免下学期的混乱。

下一步