四種類の検索
このチェックでは、すべての結果が4種類に分類され、そのうち最初の種類のみがFETが時間割を作成できないことを証明します。
ほとんどの検査ツールは、発見事項をその深刻度で並べ替えます。これは、証明できることによって並べ替えます。レポートは常にこの順序で4種類を表示します。
各種類は独自のカウントを持つタブです。何も発見されなかった種類にはタブがないため、空のタブを見ることはありません。
不可能と証明済み
画面上: 算術的であり、推測ではありません。
この検査は、数えることによってここにあるすべての発見事項に到達します。割り当てられた時間と空き時間枠を比較します。アクティビティの合法的な開始時間をゼロに減らします。同時に実行され、教師を共有しなければならない2つのアクティビティを見つけます。
これらの発見事項は、ご自身で確認することなく対処できます。レポートがアクティビティに合法的な開始時間がないと示している場合、ソルバーもそれを見つけることはできません。
これがツールの契約です。この検査は、証明できない発見事項をここに報告することはありません。1つの誤報を出すツールは、信頼できなくなるツールです。
間違い
画面上: ここにあるものは、おそらく意図したものではありません。
これらの発見事項は解決を妨げません。それらは、あなたのルールが意図しなかったことを示している可能性があります。
- ルールが、もはや存在しないものを指しています。
- ルールが、あなたがオフにしたアクティビティを対象としています。
- 2つのルールがまったく同じことを言っています。
- ソフトな優先設定は決して適用されないため、FETはそれを無視します。
これらのどれも時間割を不可能にするものではありません。誰も理解できないルールは、次の学期の謎を引き起こします。
このファイルを難しくしているもの
画面上: これは問題ではありません。ソルバーが行うべき作業です。
ここに間違いはありません。この種類は、ファイル内のプレッシャーを表します。ほとんど空きがないアクティビティを挙げます。厳しい週の部分を挙げます。
⚠ 週をさらに厳しくする前に、この種類を読んでください。
解決済みのファイルの場合、見出しが変わります。その後、作業が完了しているため、このファイルを難しくしたことと表示されます。
このファイルで実行されたこと
画面上: ルールタイプをリストし、カウントします。決して判断しません。
この種類は静かで、あなたのファイルではなく、検査自体について報告します。カウントしたルールタイプをリストします。ソルバーモードが検査の実行を停止したときを伝えます。非常に大きなファイルで検査が早期に停止したときを伝えます。
レポートが予想よりも空っぽに見える場合は、この種類を読んでください。通常、その理由を説明します。
タブがないことは保証ではありません
検査は証明できることを報告します。他のすべてが正しいということにはなりません。
「不可能と証明済み」タブがないことは、「何も不可能と証明されなかった」ことを意味します。「これは解決するだろう」という意味ではありません。
⚠ これはページ上で最も重要な文であり、画面上では見落としやすいです。タブが単に存在しないため、読むものもクリックするものもありません。存在しないことは良い結果であり、完全な結果ではありません。
時間割は算術的には可能であっても、FETが解決に長い時間を要する場合があります。解決する前にルールを緩和する必要がある場合もあります。伝えられないことを参照してください。