Τι κάνει ο προ-έλεγχος

Το FET μπορεί να αποτυγχάνει για πολύ καιρό. Ένας μόνο κανόνας που καθιστά ένα μάθημα μη τοποθετήσιμο δεν εκδηλώνεται από μόνος του — ο επιλυτής απλώς αναζητά, και αναζητά, και τελικά εγκαταλείπει ή δεν παράγει τίποτα.

Ο προ-πτητικός έλεγχος διαβάζει τους κανόνες σας και κάνει πρώτα τις αριθμητικές πράξεις. Όπου μπορεί να αποδείξει ότι ένα Ωρολόγιο είναι αδύνατο, το λέει σε δευτερόλεπτα και ονομάζει τους υπεύθυνους κανόνες.

Πού βρίσκεται

Ο Προ-πτητικός έλεγχος βρίσκεται μαζί με τους περιορισμούς στην οθόνη δεδομένων του Ωρολογίου. Είναι διαθέσιμο σε άτομα που μπορούν να επεξεργαστούν το Ωρολόγιο — είναι ένα εργαλείο για το άτομο που δημιουργεί τους κανόνες.

Κάθε ενότητα περιορισμών φέρει επίσης μια μονογραμμική περίληψη στην κορυφή, ώστε να βλέπετε την κατάσταση των πραγμάτων ενώ εργάζεστε και όχι μόνο όταν ψάχνετε.

Η αναφορά: μια ετυμηγορία, και μετά κάθε εύρημα με τους κανόνες που το υποστηρίζουν.

Πού εκτελούνται οι αριθμητικές πράξεις

Ο έλεγχος δεν εκτελείται στο πρόγραμμα περιήγησής σας. Το πρόγραμμα περιήγησής σας διαβάζει τους κανόνες σας και στέλνει μια περίληψη στον διακομιστή μας. Ο διακομιστής μας κάνει τις αριθμητικές πράξεις και στέλνει πίσω τα ευρήματα.

Η περίληψη δεν περιέχει ονόματα. Εκπαιδευτικοί, αίθουσες, αντικείμενα και ομάδες μαθητών μεταφέρονται ως αριθμοί, και το πρόγραμμα περιήγησής σας επαναφέρει τα ονόματα πριν εμφανίσει την αναφορά.

Δεν αποθηκεύουμε τίποτα από τον έλεγχο. Ο έλεγχος δημιουργεί την αναφορά ξανά από τους τρέχοντες κανόνες σας κάθε φορά που την ανοίγετε.

Αυτό έχει μια πρακτική συνέπεια που αξίζει να γνωρίζετε: είναι αρκετά γρήγορο για να χρησιμοποιηθεί ως εργαλείο εργασίας. Αλλάξτε έναν κανόνα, επιστρέψτε, κοιτάξτε ξανά.

Τι διαβάζει στην πραγματικότητα

Οι περιορισμοί σας, όπως είναι — όχι ένα επιλυμένο Ωρολόγιο. Δεν τοποθετεί ποτέ ένα μάθημα και δεν τροποποιεί τίποτα.

Αυτό που κάνει είναι αριθμητικές πράξεις στον χώρο που σας έχει απομείνει:

• Πόσες ώρες έχει δεσμευτεί ένας Εκπαιδευτικός, σε σύγκριση με πόσες διαθέσιμες θέσεις του απομένουν.
• Ποιες ώρες ένα μάθημα θα μπορούσε νόμιμα να ξεκινήσει, αφού εφαρμοστεί κάθε κανόνας που το αφορά.
• Εάν δύο μαθήματα που πρέπει να γίνουν και τα δύο αναγκάζονται στην ίδια θέση ενώ μοιράζονται έναν Εκπαιδευτικό, μια Αίθουσα ή μια τάξη.
• Εάν μια ομάδα μαθημάτων απαιτεί περισσότερες διακριτές Ημέρες από όσες περιέχει η εβδομάδα.

Όταν οι αριθμητικές πράξεις δεν αφήνουν χώρο, αυτό δεν είναι μια γνώμη για τη δυσκολία. Είναι μια απόδειξη, και ο έλεγχος το λέει.

Τι να κάνετε με αυτό

Εκτελέστε το πριν στείλετε ένα έργο στο FET, και ξανά μετά από μια μεγάλη αλλαγή. Μια καθαρή αναφορά δεν είναι υπόσχεση ότι το FET θα επιλύσει γρήγορα — δείτε Τι δεν μπορεί να σας πει — αλλά μια αναφορά με ένα εύρημα που αποδεδειγμένα είναι αδύνατο σας λέει ότι η επίλυση δεν μπορεί να επιτύχει, κάτι που αξίζει να γνωρίζετε πριν παρά μετά.

Η αναφορά αποτελείται από τέσσερα μέρη

Η αναφορά δεν βαθμολογεί τα ευρήματα με βάση το πόσο σοβαρά φαίνονται. Τα ταξινομεί με βάση το τι μπορεί να αποδείξει, σε τέσσερα είδη: Αποδεδειγμένα αδύνατο, Λάθη, Τι κάνει αυτό το αρχείο δύσκολο, και Τι εκτελέστηκε σε αυτό το αρχείο.

Κάθε είδος είναι μια καρτέλα, και κάθε καρτέλα φέρει τη δική της μέτρηση. Ένα είδος χωρίς περιεχόμενο δεν έχει καθόλου καρτέλα, οπότε ένα "ήσυχο" αρχείο εμφανίζει λιγότερες καρτέλες από ένα "πολυάσχολο". Η πρώτη καρτέλα με περιεχόμενο ανοίγει από μόνη της.

Μια ομάδα με πολλά ευρήματα τα εμφανίζει ως λίστα και όχι ως κάρτες. Επιλέξτε μια σειρά για να δείτε τις αριθμητικές πράξεις που την υποστηρίζουν δίπλα στη λίστα.

Μόνο το πρώτο είδος αποδεικνύει ότι το FET δεν μπορεί να δημιουργήσει το Ωρολόγιο. Δείτε Τα τέσσερα είδη ευρημάτων.

Συνδέσεις

Οι Συνδέσεις απαντούν σε μια διαφορετική ερώτηση: όχι τι είναι λάθος, αλλά τι είναι συνδεδεμένο με αυτόν τον Εκπαιδευτικό.

Επιλέξτε έναν Εκπαιδευτικό, μια ομάδα Μαθητών ή μια Αίθουσα. Λαμβάνετε τις Δραστηριότητές τους, τους κανόνες που τις ονομάζουν, τους πόρους με τους οποίους μοιράζονται μια Αίθουσα ή μια θέση, και μια εικόνα αυτών των συνδέσεων. Επιλέξτε οποιονδήποτε κόμβο στην εικόνα για να μετακινήσετε την προβολή σε αυτόν.

Το χρώμα ενός κόμβου λέει τι είναι — ένας Εκπαιδευτικός, μια ομάδα Μαθητών, μια Αίθουσα ή ένας κανόνας. Ένας δακτύλιος γύρω από έναν κόμβο λέει ότι ο έλεγχος βρήκε κάτι σχετικά με αυτόν. Ένας συμπαγής κόκκινος δακτύλιος σηματοδοτεί ένα σφάλμα. Ένας διακεκομμένος πορτοκαλί δακτύλιος σηματοδοτεί μια προειδοποίηση. Τα περισσότερα αρχεία δεν έχουν καθόλου δακτυλίους, και αυτή είναι η φυσιολογική κατάσταση.

Μια διακεκομμένη γκρι γραμμή μεταξύ δύο κανόνων σημαίνει ότι λένε το ίδιο πράγμα δύο φορές.

Οι οντότητες χωρίς συνδέσεις είναι κρυμμένες μέχρι να τις ζητήσετε, επειδή ένα μεγάλο αρχείο δηλώνει πολλές που δεν φέρουν Δραστηριότητες.

Πού να πάτε στη συνέχεια

• Τα τέσσερα είδη ευρημάτων — τι υπόσχεται στην πραγματικότητα κάθε είδος.
• Διόρθωση των ευρημάτων
• Τι δεν μπορεί να σας πει