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