Kiểm tra trước khi khởi động làm gì

FET có thể mất rất nhiều thời gian để thất bại. Một quy tắc duy nhất khiến một tiết giảng không thể xếp được sẽ không tự báo hiệu — bộ giải chỉ đơn giản là tìm kiếm, tìm kiếm, và cuối cùng bỏ cuộc hoặc không tạo ra gì.

Kiểm tra trước khi chạy (pre-flight check) đọc các quy tắc của bạn và thực hiện phép tính trước. Khi nó có thể chứng minh rằng một thời khóa biểu là không thể, nó sẽ thông báo ngay lập tức và nêu tên các quy tắc chịu trách nhiệm.

Nó ở đâu

Kiểm tra trước khi chạy nằm cùng với các ràng buộc trên màn hình dữ liệu của thời khóa biểu. Nó có sẵn cho những người có thể chỉnh sửa thời khóa biểu — nó là một công cụ dành cho người xây dựng các quy tắc.

Mỗi phần ràng buộc cũng có một dòng tóm tắt ở trên cùng, để bạn thấy trạng thái của mọi thứ trong khi làm việc chứ không chỉ khi bạn tìm kiếm.

Báo cáo: một phán quyết, sau đó là từng phát hiện với các quy tắc đằng sau nó.

Phép tính chạy ở đâu

Kiểm tra không chạy trong trình duyệt của bạn. Trình duyệt của bạn đọc các quy tắc và gửi một bản tóm tắt đến máy chủ của chúng tôi. Máy chủ của chúng tôi thực hiện phép tính và gửi lại các phát hiện.

Bản tóm tắt không chứa tên. Giáo viên, phòng học, môn học và nhóm lớp được truyền dưới dạng số, và trình duyệt của bạn sẽ đưa tên trở lại trước khi hiển thị báo cáo.

Chúng tôi không lưu trữ bất cứ điều gì từ quá trình kiểm tra. Kiểm tra sẽ xây dựng lại báo cáo từ các quy tắc hiện tại của bạn mỗi khi bạn mở nó.

Điều đó có một hệ quả thực tế đáng biết: nó đủ nhanh để sử dụng như một công cụ làm việc. Thay đổi một quy tắc, quay lại, xem lại.

Nó thực sự đang đọc gì

Các ràng buộc của bạn, như hiện tại — không phải là một thời khóa biểu đã được giải. Nó không bao giờ xếp tiết giảng và không bao giờ sửa đổi bất cứ điều gì.

Những gì nó làm là tính toán trên không gian bạn còn lại:

• Số giờ một giáo viên phải dạy, so với số tiết trống còn lại cho họ.
• Những thời điểm bắt đầu mà một tiết giảng có thể hợp lệ, sau khi mọi quy tắc liên quan đã được áp dụng.
• Liệu hai tiết giảng bắt buộc phải diễn ra có bị buộc vào cùng một tiết trong khi dùng chung giáo viên, phòng học hoặc lớp học hay không.
• Liệu một nhóm tiết giảng có yêu cầu nhiều ngày riêng biệt hơn số ngày trong tuần hay không.

Khi phép tính không còn chỗ trống, đó không phải là một ý kiến về độ khó. Đó là một bằng chứng, và kiểm tra sẽ thông báo như vậy.

Nên làm gì với nó

Hãy chạy nó trước khi bạn gửi một dự án cho FET, và một lần nữa sau một thay đổi lớn. Một báo cáo sạch sẽ không phải là lời hứa rằng FET sẽ giải quyết nhanh chóng — xem Những gì nó không thể cho bạn biết — nhưng một báo cáo có phát hiện đã được chứng minh là không thể sẽ cho bạn biết rằng việc giải quyết không thể thành công, điều này đáng biết trước hơn là sau.

Báo cáo có bốn phần

Báo cáo không đánh giá các phát hiện theo mức độ nghiêm trọng. Nó sắp xếp chúng theo những gì nó có thể chứng minh, thành bốn loại: Đã chứng minh là không thể, Lỗi, Điều gì làm cho tệp này khó, và Những gì đã chạy trên tệp này.

Mỗi loại là một tab, và mỗi tab có số lượng riêng. Một loại không có gì sẽ không có tab nào cả, vì vậy một tệp ít bận rộn sẽ hiển thị ít tab hơn một tệp bận rộn. Tab đầu tiên có nội dung sẽ tự động mở.

Một nhóm có nhiều phát hiện sẽ hiển thị chúng dưới dạng danh sách thay vì thẻ. Chọn một hàng để xem phép tính đằng sau nó bên cạnh danh sách.

Chỉ loại đầu tiên chứng minh rằng FET không thể xây dựng thời khóa biểu. Xem Bốn loại phát hiện.

Kết nối

Kết nối trả lời một câu hỏi khác: không phải điều gì sai, mà là điều gì được gắn với giáo viên này.

Chọn một giáo viên, một nhóm lớp hoặc một phòng học. Bạn sẽ nhận được các tiết giảng của họ, các quy tắc đặt tên cho họ, các tài nguyên mà họ dùng chung phòng học hoặc tiết, và một hình ảnh về các liên kết đó. Chọn bất kỳ nút nào trong hình ảnh để di chuyển chế độ xem đến đó.

Màu sắc của một nút cho biết nó là gì — một giáo viên, một nhóm lớp, một phòng học hoặc một quy tắc. Một vòng tròn quanh một nút cho biết kiểm tra đã tìm thấy điều gì đó về nó. Một vòng tròn màu đỏ đặc đánh dấu một lỗi. Một vòng tròn màu hổ phách đứt đoạn đánh dấu một cảnh báo. Hầu hết các tệp không có vòng tròn nào cả, và đó là trạng thái bình thường.

Một đường màu xám đứt đoạn giữa hai quy tắc có nghĩa là chúng nói cùng một điều hai lần.

Các thực thể không có gì gắn kèm sẽ bị ẩn cho đến khi bạn yêu cầu, vì một tệp lớn khai báo nhiều thực thể không có tiết giảng nào.

Nên đi đâu tiếp theo

• Bốn loại phát hiện — mỗi loại thực sự hứa hẹn điều gì.
• Sửa chữa những gì nó tìm thấy
• Những gì nó không thể cho bạn biết