Ką daro išankstinis patikrinimas
Patikra, kuri perskaito jūsų taisykles ir parodo, ar tvarkaraštį apskritai galima sudaryti, kad nereikėtų gaišti vakaro tai išsiaiškinant.
FET gali ilgai nesėkmingai veikti. Viena taisyklė, dėl kurios vienos pamokos negalima įdėti į tvarkaraštį, nepraneša apie save – sprendėjas tiesiog ieško, ieško ir galiausiai pasiduoda arba nieko nesukuria.
Išankstinis patikrinimas perskaito jūsų taisykles ir pirmiausia atlieka skaičiavimus. Kai jis gali įrodyti, kad tvarkaraštis yra neįmanomas, jis tai pasako per kelias sekundes ir nurodo atsakingas taisykles.
Kur tai yra
Išankstinis patikrinimas yra kartu su apribojimais tvarkaraščio duomenų ekrane. Jis prieinamas žmonėms, kurie gali redaguoti tvarkaraštį – tai įrankis taisykles kuriantiems asmenims.
Kiekviename apribojimų skyriuje viršuje taip pat pateikiama vienos eilutės santrauka, kad matytumėte situaciją dirbdami, o ne tik tada, kai ieškote.
Ataskaita: verdiktas, tada kiekviena išvada su ją pagrindžiančiomis taisyklėmis.
Kur atliekami skaičiavimai
Patikrinimas nevykdomas jūsų naršyklėje. Jūsų naršyklė perskaito jūsų taisykles ir siunčia santrauką mūsų serveriui. Mūsų serveris atlieka skaičiavimus ir siunčia išvadas atgal.
Santraukoje nėra pavadinimų. Dėstytojai, patalpos, Temos ir studentų grupės perduodami kaip skaičiai, o jūsų naršyklė grąžina pavadinimus prieš parodydama ataskaitą.
Mes nieko nesaugome iš patikrinimo. Patikrinimas kiekvieną kartą, kai jį atidarote, iš naujo sukuria ataskaitą iš jūsų dabartinių taisyklių.
Tai turi praktinę pasekmę, kurią verta žinoti: jis yra pakankamai greitas, kad būtų naudojamas kaip darbo įrankis. Pakeiskite taisyklę, grįžkite, pažiūrėkite dar kartą.
Ką jis iš tikrųjų skaito
Jūsų apribojimai, tokie, kokie jie yra – ne išspręstas tvarkaraštis. Jis niekada neįdeda pamokos ir niekada nieko nekeičia.
Ką jis daro, tai skaičiavimai su likusia erdve:
- Kiek valandų Dėstytojas yra įsipareigojęs, palyginti su tuo, kiek laiko tarpų jam lieka.
- Kokius pradžios laikus pamoka galėtų teisėtai užimti, kai pritaikoma kiekviena ją liečianti taisyklė.
- Ar dvi pamokos, kurios abi turi vykti, yra priverstos į tą patį laiko tarpą, dalijantis Dėstytoju, patalpa ar klase.
- Ar pamokų grupė reikalauja daugiau skirtingų dienų, nei yra savaitėje.
Kai skaičiavimai nepalieka vietos, tai nėra nuomonė apie sunkumą. Tai yra įrodymas, ir patikrinimas tai patvirtina.
Ką su juo daryti
Paleiskite jį prieš siųsdami projektą į FET ir dar kartą po didelio pakeitimo. Švari ataskaita nėra pažadas, kad FET greitai išspręs – žr. Ko jis negali jums pasakyti – tačiau ataskaita su įrodyta neįmanoma išvada sako, kad sprendimas negali būti sėkmingas, o tai verta žinoti anksčiau, o ne vėliau.
Ataskaita susideda iš keturių dalių
Ataskaita nevertina išvadų pagal tai, kokios rimtos jos atrodo. Ji rūšiuoja jas pagal tai, ką gali įrodyti, į keturias rūšis: Įrodyta, kad neįmanoma, Klaidos, Kas daro šį failą sudėtingu ir Kas buvo vykdyta šiame faile.
Kiekviena rūšis yra skirtukas, ir kiekvienas skirtukas turi savo skaičių. Rūšis, kurioje nieko nėra, neturi jokio skirtuko, todėl „ramus“ failas rodo mažiau skirtukų nei „užimtas“. Pirmasis skirtukas, kuriame yra kažkas, atsidaro pats.
Grupė su daugeliu išvadų rodo jas kaip sąrašą, o ne kaip korteles. Pasirinkite eilutę, kad pamatytumėte skaičiavimus už jos, šalia sąrašo.
Tik pirmoji rūšis įrodo, kad FET negali sudaryti tvarkaraščio. Žr. Keturios išvadų rūšys.
Ryšiai
Ryšiai atsako į kitą klausimą: ne kas negerai, o kas yra susiję su šiuo Dėstytoju.
Pasirinkite Dėstytoją, studentų grupę ar patalpą. Jūs gausite jų veiklas, taisykles, kurios juos įvardija, resursus, su kuriais jie dalijasi patalpa ar laiko tarpu, ir tų ryšių paveikslėlį. Pasirinkite bet kurį mazgą paveikslėlyje, kad perkeltumėte vaizdą į jį.
Mazgo spalva nurodo, kas tai yra – Dėstytojas, studentų grupė, patalpa ar taisyklė. Žiedas aplink mazgą rodo, kad patikrinimas rado kažką apie jį. Tvirtai raudonas žiedas žymi klaidą. Nutrauktas gintarinis žiedas žymi įspėjimą. Dauguma failų neturi jokių žiedų, ir tai yra normali būsena.
Nutraukta pilka linija tarp dviejų taisyklių reiškia, kad jos sako tą patį du kartus.
Objektai, prie kurių nieko nepriskirta, yra paslėpti, kol jų nepaprašote, nes didelis failas deklaruoja daugelį, kurie neturi veiklų.
Kur eiti toliau
- Keturios išvadų rūšys – ką iš tikrųjų žada kiekviena rūšis.
- Kaip ištaisyti tai, ką jis randa
- Ko jis negali jums pasakyti