Lompat ke isi utama

Apa yang dilakukan pengecekan awal

Pemeriksaan yang membaca aturan Anda dan membuktikan apakah jadwal bisa disusun sama sekali, sebelum Anda menghabiskan waktu berjam-jam untuk mengetahuinya.

FET bisa menghabiskan waktu lama untuk gagal. Satu aturan yang membuat satu pelajaran tidak dapat ditempatkan tidak akan memberitahukan dirinya sendiri — pemecah masalah hanya akan mencari, dan mencari, dan akhirnya menyerah atau tidak menghasilkan apa-apa.

Pemeriksaan pra-penerbangan membaca aturan Anda dan melakukan perhitungan terlebih dahulu. Jika dapat membuktikan bahwa Jadwal tidak mungkin dibuat, ia akan mengatakannya dalam hitungan detik dan menyebutkan aturan yang bertanggung jawab.

Di mana letaknya

Pra-penerbangan berada bersama kendala di layar data Jadwal. Ini tersedia untuk orang yang dapat mengedit Jadwal — ini adalah alat bagi orang yang membuat aturan.

Setiap bagian kendala juga memiliki ringkasan satu baris di bagian atas, sehingga Anda melihat keadaan saat Anda bekerja, bukan hanya saat Anda mencarinya.

The pre-flight check on a timetable that does not add up: what it found, where, and how long it took in your browser.
The pre-flight check on a timetable that does not add up: what it found, where, and how long it took in your browser.

Laporan: sebuah putusan, lalu setiap temuan dengan aturan di baliknya.

Di mana perhitungan berjalan

Pemeriksaan tidak berjalan di peramban Anda. Peramban Anda membaca aturan Anda dan mengirimkan ringkasan ke server kami. Server kami melakukan perhitungan dan mengirimkan kembali temuannya.

Ringkasan tidak memuat nama. Guru, Ruang, Mata Pelajaran, dan kelompok Siswa dikirim sebagai angka, dan peramban Anda mengembalikan nama-nama tersebut sebelum menampilkan laporan.

Kami tidak menyimpan apa pun dari pemeriksaan. Pemeriksaan membangun laporan lagi dari aturan Anda saat ini setiap kali Anda membukanya.

Itu memiliki konsekuensi praktis yang patut diketahui: ini cukup cepat untuk digunakan sebagai alat kerja. Ubah aturan, kembali, lihat lagi.

Apa yang sebenarnya dibaca

Kendala Anda, sebagaimana adanya — bukan Jadwal yang sudah diselesaikan. Ini tidak pernah menempatkan pelajaran dan tidak pernah memodifikasi apa pun.

Yang dilakukannya adalah perhitungan pada ruang yang tersisa:

  • Berapa jam seorang Guru berkomitmen, dibandingkan dengan berapa banyak slot yang tersisa untuk mereka.
  • Waktu mulai mana yang secara sah dapat diambil oleh suatu pelajaran, setelah setiap aturan yang menyentuhnya telah diterapkan.
  • Apakah dua pelajaran yang harus terjadi keduanya dipaksa masuk ke slot yang sama saat berbagi Guru, Ruang, atau Kelas.
  • Apakah sekelompok pelajaran menuntut hari yang lebih berbeda daripada yang ada dalam seminggu.

Ketika perhitungan tidak menyisakan ruang, itu bukan pendapat tentang kesulitan. Itu adalah bukti, dan pemeriksaan mengatakannya.

Apa yang harus dilakukan dengannya

Jalankan ini sebelum Anda mengirim proyek ke FET, dan lagi setelah perubahan besar. Laporan yang bersih bukanlah janji bahwa FET akan menyelesaikan dengan cepat — lihat Apa yang tidak bisa diberitahukannya kepada Anda — tetapi laporan dengan temuan yang terbukti tidak mungkin di dalamnya memberi tahu Anda bahwa penyelesaian tidak dapat berhasil, yang patut diketahui sebelum daripada sesudah.

Laporan terdiri dari empat bagian

Laporan tidak menilai temuan berdasarkan seberapa serius rasanya. Ini mengurutkannya berdasarkan apa yang dapat dibuktikannya, menjadi empat jenis: Terbukti tidak mungkin, Kesalahan, Apa yang membuat berkas ini sulit, dan Apa yang berjalan pada berkas ini.

Setiap jenis adalah tab, dan setiap tab memiliki jumlahnya sendiri. Jenis yang tidak berisi apa pun tidak memiliki tab sama sekali, sehingga berkas yang "tenang" menunjukkan lebih sedikit tab daripada berkas yang "sibuk". Tab pertama yang berisi sesuatu akan terbuka dengan sendirinya.

Kelompok dengan banyak temuan menampilkannya sebagai daftar daripada sebagai kartu. Pilih baris untuk melihat perhitungan di baliknya di samping daftar.

Hanya jenis pertama yang membuktikan bahwa FET tidak dapat membangun Jadwal. Lihat Empat jenis temuan.

Koneksi

Koneksi menjawab pertanyaan yang berbeda: bukan apa yang salah, tetapi apa yang terhubung dengan Guru ini.

Pilih Guru, kelompok Siswa, atau Ruang. Anda akan mendapatkan kegiatan mereka, aturan yang menamainya, sumber daya yang mereka bagi Ruang atau slot dengannya, dan gambaran tautan-tautan tersebut. Pilih node mana pun dalam gambar untuk memindahkan tampilan ke sana.

Warna node menunjukkan apa itu — Guru, kelompok Siswa, Ruang, atau aturan. Cincin di sekitar node menunjukkan bahwa pemeriksaan menemukan sesuatu tentangnya. Cincin merah solid menandai kesalahan. Cincin kuning putus-putus menandai peringatan. Sebagian besar berkas tidak memiliki cincin sama sekali, dan itu adalah keadaan normal.

Garis abu-abu putus-putus antara dua aturan berarti keduanya mengatakan hal yang sama dua kali.

Entitas yang tidak terhubung disembunyikan sampai Anda memintanya, karena berkas besar menyatakan banyak yang tidak memiliki kegiatan.

Ke mana selanjutnya