Co robi sprawdzenie wstępne

FET może długo działać bezskutecznie. Pojedyncza reguła, która uniemożliwia umieszczenie jednej lekcji, nie ujawnia się sama — program rozwiązujący po prostu szuka, szuka i w końcu poddaje się lub nic nie tworzy.

Kontrola wstępna odczytuje twoje reguły i najpierw wykonuje obliczenia. Tam, gdzie może udowodnić, że plan lekcji jest niemożliwy do ułożenia, informuje o tym w ciągu kilku sekund i wskazuje odpowiedzialne reguły.

Gdzie to się znajduje

Kontrola wstępna znajduje się obok ograniczeń na ekranie danych planu lekcji. Jest dostępna dla osób, które mogą edytować plan lekcji — to narzędzie dla osoby tworzącej reguły.

Każda sekcja ograniczeń zawiera również jednolinijkowe podsumowanie na górze, dzięki czemu widzisz stan rzeczy podczas pracy, a nie tylko wtedy, gdy tego szukasz.

Raport: werdykt, a następnie każde ustalenie wraz z regułami, które za nim stoją.

Gdzie wykonywane są obliczenia

Sprawdzenie nie działa w twojej przeglądarce. Twoja przeglądarka odczytuje twoje reguły i wysyła podsumowanie na nasz serwer. Nasz serwer wykonuje obliczenia i odsyła ustalenia.

Podsumowanie nie zawiera nazw. Nauczyciele, sale, Przedmioty i grupy studentów są przesyłane jako liczby, a twoja przeglądarka przywraca nazwy przed wyświetleniem raportu.

Nie przechowujemy niczego ze sprawdzenia. Sprawdzenie ponownie generuje raport na podstawie twoich bieżących reguł za każdym razem, gdy je otwierasz.

Ma to praktyczną konsekwencję, o której warto wiedzieć: jest wystarczająco szybkie, aby używać go jako narzędzia roboczego. Zmień regułę, wróć, spójrz ponownie.

Co faktycznie odczytuje

Twoje ograniczenia, w ich obecnym stanie — a nie rozwiązany plan lekcji. Nigdy nie umieszcza lekcji i nigdy niczego nie modyfikuje.

Wykonuje obliczenia na pozostałej przestrzeni:

• Ile godzin Nauczyciel jest zobowiązany do pracy, w porównaniu do liczby dostępnych dla niego slotów.
• Jakie godziny rozpoczęcia lekcja mogłaby legalnie zająć, po zastosowaniu każdej reguły, która jej dotyczy.
• Czy dwie lekcje, które muszą się odbyć, są zmuszone do zajęcia tego samego slotu, dzieląc Nauczyciela, salę lub grupę.
• Czy grupa lekcji wymaga więcej różnych dni, niż zawiera tydzień.

Kiedy obliczenia nie pozostawiają miejsca, to nie jest opinia o trudności. To jest dowód, a sprawdzenie to potwierdza.

Co z tym zrobić

Uruchom to przed wysłaniem projektu do FET i ponownie po dużej zmianie. Czysty raport nie jest obietnicą, że FET szybko znajdzie rozwiązanie — zobacz Czego nie może ci powiedzieć — ale raport z ustaleniem o udowodnionej niemożliwości mówi ci, że rozwiązanie nie może się powieść, o czym warto wiedzieć wcześniej, a nie później.

Raport składa się z czterech części

Raport nie ocenia ustaleń według ich postrzeganej powagi. Sortuje je według tego, co może udowodnić, na cztery rodzaje: Udowodniona niemożliwość, Błędy, Co sprawia, że ten plik jest trudny i Co zostało uruchomione na tym pliku.

Każdy rodzaj to zakładka, a każda zakładka zawiera własną liczbę. Rodzaj, który nic nie zawiera, nie ma w ogóle zakładki, więc plik z niewielką liczbą ustaleń pokazuje mniej zakładek niż plik z wieloma ustaleniami. Pierwsza zakładka, która coś zawiera, otwiera się automatycznie.

Grupa z wieloma ustaleniami wyświetla je jako listę, a nie jako karty. Wybierz wiersz, aby zobaczyć obliczenia, które za nim stoją, obok listy.

Tylko pierwszy rodzaj dowodzi, że FET nie może zbudować planu lekcji. Zobacz Cztery rodzaje ustaleń.

Połączenia

Połączenia odpowiadają na inne pytanie: nie co jest nie tak, ale co jest przypisane do tego Nauczyciela.

Wybierz Nauczyciela, grupę studentów lub salę. Otrzymasz ich aktywności, reguły, które je nazywają, zasoby, z którymi dzielą salę lub slot, oraz obraz tych połączeń. Wybierz dowolny węzeł na obrazie, aby przenieść do niego widok.

Kolor węzła mówi, czym jest — Nauczyciel, grupa studentów, sala lub reguła. Pierścień wokół węzła oznacza, że sprawdzenie coś w nim znalazło. Czerwony, pełny pierścień oznacza błąd. Przerywany bursztynowy pierścień oznacza ostrzeżenie. Większość plików nie ma żadnych pierścieni, i to jest stan normalny.

Przerywana szara linia między dwiema regułami oznacza, że mówią one to samo dwukrotnie.

Obiekty, do których nic nie jest przypisane, są ukryte, dopóki o nie nie poprosisz, ponieważ duży plik deklaruje wiele takich, które nie zawierają aktywności.

Co dalej

• Cztery rodzaje ustaleń — co faktycznie obiecuje każdy rodzaj.
• Naprawianie tego, co znajduje
• Czego nie może ci powiedzieć