預檢功能
檢查您的規則，並在您白費工夫之前，驗證課表是否能建立。
FET 可能會花很長時間失敗。單一規則導致某節課無法排定，並不會自行宣告 — 求解器只會不斷搜尋，最終放棄或一無所獲。
預檢會先讀取您的規則並進行運算。如果它能證明課表不可能排定，它會在幾秒鐘內指出並列出相關規則。
所在位置
預檢位於課表資料畫面上的限制條件旁。它可以供能編輯課表的人使用 — 它是為建立規則的人設計的工具。
每個限制條件區塊頂部也帶有一行摘要，這樣您在工作時就能看到情況，而不必等到特意查看。
報告：一個結論，然後是每個發現及其背後的規則。
運算執行位置
檢查不會在您的瀏覽器中執行。您的瀏覽器會讀取您的規則並將摘要傳送到我們的伺服器。我們的伺服器會進行運算並將結果傳回。
摘要不包含名稱。老師、教室、學科和學生組以數字形式傳輸，您的瀏覽器會在顯示報告前將名稱還原。
我們不會儲存任何檢查結果。每次您開啟時，檢查都會根據您目前的規則重新建立報告。
這有一個值得了解的實際結果：它足夠快，可以用作工作工具。更改規則，回來，再查看。
它實際讀取了什麼
您目前的限制條件 — 而非已排定的課表。它從不排定課程，也從不修改任何內容。
它所做的是對您剩餘的空間進行運算：
- 一位老師承諾的時數，對比他們還有多少可用的時段。
- 一節課在所有相關規則應用後，可以合法佔用的開始時間。
- 兩節必須發生的課程是否被迫在同一時段進行，同時共用一位老師、一間教室或一個班級。
- 一組課程是否需要比一週所包含的更多不同的天數。
當運算沒有留下任何空間時，這不是關於難度的意見。這是一個證明，檢查會如此說明。
如何使用它
在將專案傳送給 FET 之前執行它，並在進行重大更改後再次執行。一份乾淨的報告並不保證 FET 會快速求解 — 請參閱 它無法告訴您的事 — 但一份包含「證明不可能」發現的報告會告訴您求解無法成功，這值得在事前而非事後了解。
報告分為四個部分
報告不會根據發現的嚴重程度進行評級。它會根據可以證明的內容將它們分為四種類型：證明不可能、錯誤、是什麼讓這個檔案變得困難，以及在此檔案上執行了什麼。
每種類型都是一個分頁，每個分頁都有自己的計數。如果某種類型沒有任何內容，則根本不會有該分頁，因此一個「安靜」的檔案會比一個「繁忙」的檔案顯示更少的分頁。第一個有內容的分頁會自動開啟。
包含許多發現的群組會以列表而非卡片形式顯示。選取一行即可在列表旁查看其背後的運算。
只有第一種類型證明 FET 無法建立課表。請參閱 四種發現類型。
關聯
關聯回答了另一個問題：不是哪裡出錯了，而是這個老師關聯了什麼。
選擇一位老師、一個學生組或一間教室。您會看到他們的活動、命名他們的規則、他們共用教室或時段的資源，以及這些連結的圖示。選取圖示中的任何節點即可將視圖移至該節點。
節點的顏色表示其類型 — 老師、學生組、教室或規則。節點周圍的環表示檢查發現了與其相關的內容。實心紅環表示錯誤。虛線琥珀環表示警告。大多數檔案都沒有任何環，這是正常狀態。
兩條規則之間的虛線灰色線表示它們重複了相同的內容。
沒有任何關聯的實體會被隱藏，直到您要求顯示它們，因為大型檔案會宣告許多不帶活動的實體。