Cztery rodzaje wyszukiwania
Sprawdzenie dzieli każdy wynik na cztery rodzaje. Tylko pierwszy rodzaj dowodzi, że FET nie może zbudować planu lekcji.
Większość narzędzi sprawdzających sortuje swoje wyniki według tego, jak poważne się wydają. To narzędzie sortuje je według tego, co może udowodnić. Raport przedstawia cztery rodzaje, zawsze w tej kolejności.
Każdy rodzaj to zakładka z własną liczbą. Rodzaj, który nic nie znalazł, nie ma zakładki, więc nie zobaczysz pustej.
Udowodniono, że niemożliwe
Na ekranie: Arytmetyka, nie zgadywanie.
Sprawdzenie dochodzi do każdego wyniku tutaj poprzez liczenie. Porównuje przypisane godziny z wolnymi przedziałami czasowymi. Redukuje dopuszczalne czasy rozpoczęcia zajęć do zera. Znajduje dwa zajęcia, które muszą odbywać się w tym samym czasie i dzielić nauczyciela.
Możesz działać na podstawie tych wyników bez samodzielnego ich sprawdzania. Jeśli raport mówi, że zajęcia nie mają dopuszczalnego czasu rozpoczęcia, solver również nie może go znaleźć.
To jest umowa narzędzia. Sprawdzenie nigdy nie zgłasza tutaj wyniku, którego nie może udowodnić. Narzędzie, które podnosi jeden fałszywy alarm, to narzędzie, któremu przestajesz wierzyć.
Błędy
Na ekranie: Coś tutaj prawdopodobnie nie jest tym, co miałeś na myśli.
Te wyniki nie zatrzymują rozwiązania. Pokazują, że twoje zasady mówią coś, czego prawdopodobnie nie zamierzałeś.
- Zasada wskazuje na coś, co już nie istnieje.
- Zasada dotyczy zajęć, które wyłączyłeś.
- Dwie zasady mówią dokładnie to samo.
- Miękka preferencja nigdy nie może zostać zastosowana, więc FET ją ignoruje.
Żadne z nich nie sprawia, że plan lekcji jest niemożliwy. Zasady, których nikt nie rozumie, powodują zagadki w następnym semestrze.
Co sprawia, że ten plik jest trudny
Na ekranie: To nie jest problem. To praca, którą musi wykonać solver.
Nic tutaj nie jest złe. Ten rodzaj opisuje presję w twoim pliku. Wymienia zajęcia, które mają prawie brak wolnego miejsca. Wymienia części tygodnia, które są ciasne.
⚠ Przeczytaj ten rodzaj, zanim jeszcze bardziej zacieśnisz tydzień.
Nagłówek zmienia się dla rozwiązanego pliku. Wtedy brzmi Co sprawiło, że ten plik był trudny, ponieważ praca jest zakończona.
Co zostało uruchomione na tym pliku
Na ekranie: Typy zasad, które wymieniamy i liczymy, nigdy nie oceniamy.
Ten rodzaj jest cichy i raportuje o samym sprawdzeniu, a nie o twoim pliku. Wymienia typy zasad, które policzył. Informuje, kiedy tryb solvera zatrzymuje uruchomienie sprawdzenia. Informuje, kiedy sprawdzenie zostało zatrzymane wcześniej na bardzo dużym pliku.
Przeczytaj ten rodzaj, gdy raport wygląda na bardziej pusty, niż się spodziewałeś. Zazwyczaj wyjaśnia dlaczego.
Brakująca zakładka nie jest gwarancją
Sprawdzenie raportuje to, co może udowodnić. Nie oznacza to, że wszystko inne jest poprawne.
Brak zakładki "Udowodniono, że niemożliwe" oznacza "nic nie zostało udowodnione jako niemożliwe". Nie oznacza to "to się rozwiąże".
⚠ To jest najważniejsze zdanie na stronie, a ekran sprawia, że łatwo je przeoczyć: zakładka jest po prostu nieobecna, więc nie ma nic do przeczytania i nic do kliknięcia. Nieobecność jest dobrym wynikiem, a nie kompletnym.
Plan lekcji może być możliwy arytmetycznie i nadal zajmować FET dużo czasu. Nadal może wymagać złagodzenia zasad, zanim zostanie ułożony. Zobacz Czego nie może ci powiedzieć.