Empat jenis pencarian
Pemeriksaan mengelompokkan setiap temuan menjadi empat jenis; hanya jenis pertama yang membuktikan bahwa FET tidak dapat membuat jadwal.
Sebagian besar alat pemeriksaan mengurutkan temuannya berdasarkan tingkat keseriusan. Alat ini mengurutkannya berdasarkan apa yang bisa dibuktikannya. Laporan menunjukkan empat jenis, selalu dalam urutan ini.
Setiap jenis adalah tab dengan jumlahnya sendiri. Jenis yang tidak menemukan apa pun tidak memiliki tab, jadi Anda tidak akan melihat tab kosong.
Terbukti tidak mungkin
Di layar: Aritmetika, bukan tebakan.
Pemeriksaan mencapai setiap temuan di sini dengan menghitung. Ini membandingkan jam yang telah dialokasikan dengan slot waktu kosong. Ini mengurangi waktu mulai yang sah dari suatu kegiatan menjadi tidak ada. Ini menemukan dua kegiatan yang harus berjalan pada waktu yang sama dan berbagi guru.
Anda dapat menindaklanjuti temuan ini tanpa memeriksanya sendiri. Jika laporan mengatakan suatu kegiatan tidak memiliki waktu mulai yang sah, program FET juga tidak dapat menemukannya.
Ini adalah komitmen alat ini. Pemeriksaan tidak pernah melaporkan temuan di sini yang tidak dapat dibuktikannya. Alat yang menimbulkan satu alarm palsu adalah alat yang tidak lagi Anda percayai.
Kesalahan
Di layar: Sesuatu di sini mungkin bukan yang Anda maksud.
Temuan ini tidak menghentikan proses penyelesaian. Ini menunjukkan bahwa aturan Anda mengatakan sesuatu yang mungkin tidak Anda maksudkan.
- Sebuah aturan menunjuk pada sesuatu yang tidak lagi ada.
- Sebuah aturan menargetkan kegiatan yang Anda nonaktifkan.
- Dua aturan mengatakan hal yang persis sama.
- Preferensi lunak tidak pernah dapat diterapkan, jadi FET mengabaikannya.
Tidak ada di antara ini yang membuat jadwal tidak mungkin. Aturan yang tidak dipahami siapa pun menyebabkan misteri di semester berikutnya.
Apa yang membuat berkas ini sulit
Di layar: Ini bukan masalah. Ini adalah pekerjaan yang harus dilakukan program FET.
Tidak ada yang salah di sini. Jenis ini menjelaskan tekanan dalam berkas Anda. Ini menyebutkan kegiatan yang hampir tidak memiliki ruang tersisa. Ini menyebutkan bagian-bagian minggu yang ketat.
⚠ Baca jenis ini sebelum Anda membuat minggu menjadi lebih ketat.
Judul berubah untuk berkas yang sudah diselesaikan. Kemudian berbunyi Apa yang membuat berkas ini sulit, karena pekerjaan sudah selesai.
Apa yang berjalan pada berkas ini
Di layar: Jenis aturan yang kami daftar dan hitung, tidak pernah kami nilai.
Jenis ini tenang, dan ini melaporkan tentang pemeriksaan itu sendiri daripada tentang berkas Anda. Ini mencantumkan jenis aturan yang dihitungnya. Ini memberi tahu Anda kapan mode program FET Anda menghentikan pemeriksaan agar tidak berjalan. Ini memberi tahu Anda kapan pemeriksaan berhenti lebih awal pada berkas yang sangat besar.
Baca jenis ini ketika laporan terlihat lebih kosong dari yang Anda harapkan. Biasanya ini menjelaskan alasannya.
Tab yang hilang bukanlah jaminan
Pemeriksaan melaporkan apa yang bisa dibuktikannya. Tidak berarti bahwa segala sesuatu yang lain benar.
Tidak adanya tab "Terbukti tidak mungkin" berarti "tidak ada yang terbukti tidak mungkin". Ini tidak berarti "ini akan terselesaikan".
⚠ Ini adalah kalimat terpenting di halaman ini, dan layar membuatnya mudah terlewatkan: tab tersebut hanya tidak ada, jadi tidak ada yang bisa dibaca dan tidak ada yang bisa diklik. Ketiadaan adalah hasil yang baik, bukan hasil yang lengkap.
Sebuah jadwal bisa saja mungkin secara aritmetika dan masih membutuhkan waktu lama bagi FET. Ini masih mungkin memerlukan aturan yang dilonggarkan sebelum berhasil. Lihat Apa yang tidak bisa diberitahukannya kepada Anda.