Regole di correzione per deterministico
Una regola di correzione è l'assegnazione di un'espressione aritmetica o di una costante o di una variabile ad una variabile.
Per inserire una regola di correzione, selezionare la regola di incompatibilità per la quale effettuare la correzione dalla lista delle regole e scrivere la regola che deve iniziare con la variabile da modificare, scelta tra quelle mostrate, seguita dal simbolo '=' , inserito automaticamente dal programma, e poi dall'espressione ;
esempi:
La regola viene controllata sintatticamente al momento dell'inserimento e la numerazione associata è automatica.
E' possibile inserire più correzioni per una stessa incompatibilità, in questo modo si possono cambiare i valori di più variabili in funzione di un errore.
Una variabile corretta da una regola di correzione rientra nei controlli successivi nel passo di check.
Per modificare una regola di correzione selezionarla, modificarla e poi "add/mod".
La cancellazione della regola di correzione si attua selezionandola e poi "delete".
"clear" annulla le modifiche della regola.
Da menu a tendina: