Што прави проверката пред старт

FET може долго време да не успева. Едно правило што прави еден час да не може да се постави не се најавува самото — решавачот едноставно пребарува, и пребарува, и на крајот се откажува или не произведува ништо.

Пред-проверката ги чита вашите правила и прво ја прави аритметиката. Каде што може да докаже дека распоредот е невозможен, тоа го кажува за неколку секунди и ги именува одговорните правила.

Каде се наоѓа

Пред-проверката се наоѓа со ограничувањата на екранот за податоци на распоредот. Достапна е за луѓе кои можат да го уредуваат распоредот — тоа е алатка за лицето кое ги креира правилата.

Секој дел со ограничувања исто така содржи еднолиниски преглед на врвот, за да ја видите состојбата на работите додека работите, наместо само кога ќе почнете да барате.

Извештајот: пресуда, потоа секое откритие со правилата зад него.

Каде се извршува аритметиката

Проверката не се извршува во вашиот прелистувач. Вашиот прелистувач ги чита вашите правила и испраќа резиме до нашиот сервер. Нашиот сервер ја прави аритметиката и ги испраќа наодите назад.

Резимето не содржи имиња. Професори, простории, предмети и студентски групи патуваат како броеви, а вашиот прелистувач ги враќа имињата пред да го прикаже извештајот.

Ние не складираме ништо од проверката. Проверката го гради извештајот повторно од вашите тековни правила секој пат кога ќе го отворите.

Тоа има практична последица која вреди да се знае: доволно е брза за да се користи како работна алатка. Променете правило, вратете се, погледнете повторно.

Што всушност чита

Вашите ограничувања, како што се — не решен распоред. Никогаш не поставува час и никогаш не менува ништо.

Она што го прави е аритметика на просторот што ви останал:

• Колку часа е посветен еден професор, наспроти колку термини му остануваат достапни.
• Кои почетни времиња може легално да ги заземе еден час, откако ќе се примени секое правило што го допира.
• Дали два часа кои мора да се случат се принудени во истиот термин додека делат професор, просторија или група.
• Дали група часови бара повеќе различни денови отколку што содржи неделата.

Кога аритметиката не остава простор, тоа не е мислење за тешкотијата. Тоа е доказ, и проверката го кажува тоа.

Што да се прави со него

Извршете го пред да испратите проект до FET, и повторно по голема промена. Чист извештај не е ветување дека FET брзо ќе реши — видете Што не може да ви каже — но извештај со докажано-невозможно откритие во него ви кажува дека решавањето не може да успее, што вреди да се знае пред, а не потоа.

Извештајот е во четири дела

Извештајот не ги оценува наодите според тоа колку се сериозни. Ги сортира според она што може да го докаже, во четири вида: Докажано невозможно, Грешки, Што ја прави оваа датотека тешка, и Што се изврши на оваа датотека.

Секој вид е јазиче, и секое јазиче има свој број. Вид без ништо во него нема воопшто јазиче, така што тивка датотека покажува помалку јазичиња од зафатена. Првото јазиче со нешто во него се отвора само по себе.

Група со многу наоди ги прикажува како листа наместо како картички. Изберете ред за да ја видите аритметиката зад него покрај листата.

Само првиот вид докажува дека FET не може да го изгради распоредот. Видете Четирите видови наоди.

Врски

Врски одговара на поинакво прашање: не што е погрешно, туку што е прикачено на овој професор.

Изберете професор, студентска група или просторија. Добивате нивни активности, правилата што ги именуваат, ресурсите со кои делат просторија или термин, и слика од тие врски. Изберете кој било јазол на сликата за да го преместите погледот кон него.

Бојата на јазолот кажува што е тоа — професор, студентска група, просторија или правило. Прстен околу јазолот кажува дека проверката нашла нешто за него. Цврст црвен прстен означува грешка. Прекинат килибарен прстен означува предупредување. Повеќето датотеки немаат прстени воопшто, и тоа е нормална состојба.

Прекината сива линија помеѓу две правила значи дека тие ја кажуваат истата работа двапати.

Ентитетите без ништо прикачено се скриени додека не ги побарате, бидејќи голема датотека декларира многу кои не содржат активности.

Каде да одите понатаму

• Четирите видови наоди — што всушност ветува секој вид.
• Поправање на она што го наоѓа
• Што не може да ви каже