Le REGOLE o EDIT scritte dall'utente, per una massimo di 2000, sono chiamate "insieme minimale" e descrivono l'incompatibilità tra le variabili e i loro sottodomini.

Non bisogna scrivere regole per controllare il dominio delle variabili, dato che questo controllo viene effettuato dal programma.

Se una regola inizia con * viene considerata commento.

Una regola può contenere un massimo di 16 variabili, e ogni variabile della regola può avere al massimo 100 valori di sottodominio.

Ogni regola deve essere così interpretata:

Se è vero V1(d1,d2..) ed è vero V2(d1,d2..) ...ed è vero Vn(d1,d2..) allora l'incompatibilità è vera.

Quindi le variabili sono in AND mentre i valori dei sottodomini tra parentesi sono in OR.

per verificare se stato civile "STACIV" non celibe/nubile (2) ed età "ETA" minore di 14 anni:

STACIV<2) ETA(0-13) oppure STACIV(1,3) ETA(0-13)

quindi:

( ) così si indicano i sottodomini "uguali a";

< ) così si indicano i sottodomini "diversi da";

da-a indica un intervallo di valori compresi gli estremi;

la "," separa i valori del sottodominio;

Per inserire una regola:

scegliere una variabile tra quelle mostrate;

scegliere il simbolo "eq" per uguale ( o "ne" per diverso <;

scegliere il valore tra i domini mostrati ed eventualmente modificarlo con le frecce; premere "store" per memorizzare il dominio nella regola.

scegliere un nuovo valore tra i domini oppure un'altra variabile;

così via fino a scrivere tutta la regola;

alla fine scegliere "add/mod";

In caso di errore usare il tasto "undo";

Con "clear" si annulla l'intera operazione;

Con "remark" si commenta una regola scelta o si inserisce un commento;

Per cancellare una regola:

selezionare la regola da cancellare e click su "delete";

Per modificare una regola:

selezionare la regola da modificare e dopo la modifica click su "add/mod";

Da menu a tendina:

Con "exit" si annullano le modifiche.

Con "save and exit" si crea o aggiorna il file esterno "REGOLE.dat".

Con "import" si importano regole dal file esterno "REGOLE.dat" soprascrivendo eventuali regole esistenti.

Con "export per deterministico" si registrano le variabili sul file esterno "fregout.dat" in formato adatto al passaggio deterministico.