Четыре вида поиска
Проверка распределяет каждый результат по четырем видам, и только первый вид доказывает, что FET не может составить расписание.
Большинство инструментов проверки сортируют свои результаты по степени их серьезности. Этот инструмент сортирует их по тому, что он может доказать. Отчет показывает четыре типа, всегда в этом порядке.
Каждый тип — это вкладка со своим счетчиком. Тип, по которому ничего не найдено, не имеет вкладки, поэтому вы не увидите пустую.
Доказано невозможно
На экране: Арифметика, не предположение.
Проверка приходит к каждому выводу здесь путем подсчета. Она сравнивает выделенные часы со свободными слотами. Она сводит разрешенное время начала занятия к нулю. Она находит два занятия, которые должны проходить одновременно и иметь одного преподавателя.
Вы можете действовать по этим выводам, не проверяя их самостоятельно. Если в отчете говорится, что у занятия нет разрешенного времени начала, генератор расписания также не сможет его найти.
Это договор инструмента. Проверка никогда не сообщает о выводе, который она не может доказать. Инструмент, который выдает одну ложную тревогу, — это инструмент, которому вы перестаете доверять.
Ошибки
На экране: Вероятно, здесь что-то не то, что вы имели в виду.
Эти выводы не останавливают процесс составления расписания. Они показывают, что ваши правила говорят что-то, что вы, вероятно, не имели в виду.
- Правило указывает на что-то, что больше не существует.
- Правило нацелено на занятие, которое вы отключили.
- Два правила говорят одно и то же.
- Мягкое предпочтение никогда не может быть применено, поэтому FET игнорирует его.
Ничто из этого не делает расписание невозможным. Правила, которые никто не понимает, становятся причиной загадок в следующем семестре.
Что усложняет этот файл
На экране: Это не проблема. Это работа, которую должен выполнить генератор расписания.
Здесь нет ничего неправильного. Этот тип описывает сложность вашего файла. Он называет занятия, для которых почти не осталось места. Он называет части недели, которые являются плотными.
⚠ Прочитайте этот раздел, прежде чем делать неделю более плотной.
Заголовок меняется для файла с составленным расписанием. Тогда он читается как Что усложнило этот файл, потому что работа завершена.
Что было выполнено для этого файла
На экране: Типы правил, которые мы перечисляем и подсчитываем, никогда не оцениваем.
Этот раздел незаметен, и он сообщает о самой проверке, а не о вашем файле. Он перечисляет типы правил, которые он подсчитал. Он сообщает вам, когда ваш режим генератора расписания останавливает выполнение проверки. Он сообщает вам, когда проверка остановилась раньше времени на очень большом файле.
Прочитайте этот раздел, когда отчет выглядит более пустым, чем вы ожидали. Обычно он объясняет почему.
Отсутствие вкладки — не гарантия
Проверка сообщает то, что может доказать. Из этого не следует, что все остальное верно.
Отсутствие вкладки "Доказано невозможно" означает "ничего не было доказано невозможным". Это не означает "это будет составлено".
⚠ Это самое важное предложение на странице, и на экране его легко пропустить: вкладка просто отсутствует, поэтому нечего читать и не на что нажимать. Отсутствие — это хороший результат, но не полный.
Расписание может быть возможным с точки зрения арифметики и при этом занимать у FET много времени. Ему все еще может потребоваться ослабление правил, прежде чем оно будет составлено. См. Что он не может вам сказать.