________________________________________________________________________________

contreg:

Matrice troppo larga: Superati i limiti di memoria

L'ampiezza dei domini > 1500 caratteri.

Manca il file delle regole: Non esiste REGOLE.dat.

VARIABILI DA GESTIRE > 500: Superato il limite delle variabili.

MATRICE TROPPO GRANDE: Il numero degli edit espliciti > 2000.

Variabile xx nella regola yy errata: La variabile non esiste in VARDOM.dat.

Regola con una sola variabile : La regola deve avere al minimo 2 variabili.

edit con variabili uguali (lista errata?): Nella lista esiste una variabile presente nella regola.

Valore vv della variabile xx nella regola yy errata: Valore fuori dominio.

Edit contraddittori: Regole in contraddizione tra loro.

________________________________________________________________________________

TROPPI EDIT DELLA STESSA CLASSE EQUIVALENZA: Il numero di edit ha superato i limiti previsti.

TROPPE CLASSI DI EQUIVALENZA: Il numero delle classi ha superato i limiti previsti.

TROPPI EDIT GENERATI: Il numero di edit ha superato i limiti previsti.

EDIT DEGENERE,

edit generati da edit contraddittori,

edit contraddittori

edit xx degenere per unione uguali a meno di uno:

L'edit risultante dalla generazione ha una sola variabile. Nella matrice ci sono edit generati da regole contraddittorie; è possibile risalire agli edit espiciti la cui unione ha formato un edit degenere (con una sola variabile) tramite il file GENER.dat e COMPLETO.dat ove è indicata sia la variabile generatrice che gli edit uniti tra loro (gli edit tra parentesi su COMPLETO o con -9999 su GENER sono stati eliminati, perché ridondanti, da nuovi edit).

________________________________________________________________________________

MANCA IL FILE DELLE VARIABILI: Non esiste il file VARDOM.dat.

MANCA IL FILE DELLE REGOLE: Non esiste il file REGOLE.dat.

NON ESISTE IL FILE DATI INPUT: Non esiste il file DATI.dat.

RECORD > 5000 CARATTERI: Il record in input > limite previsto.

________________________________________________________________________________

solo forzature per strato xx senza esatti: Per lo strato xx non esistono esatti nel serbatoio.

MANCA FILE DELLE VARIABILI: Non esiste il file VARDOM.

Troppi domini. Matrice insufficiente: Superati i limiti di programma.

TROPPI EDIT. Matrice insufficiente: Superati i limiti di programma.

MANCA INSIEME COMPLETO - fatta la derivazione? Non esiste il file MAXICE.

TROPPI EDIT. Matrice insufficiente: Superati i limiti di programma.

TROPPI CAMPI CHIAVE: Sono state definite più di 5 variabili chiave.

RECORD > 5000 CARATTERI: Il record in input > limite previsto.

NON ESISTE IL FILE ERRATI: Non è stata effettuata la fase di check o i dati sono tutti esatti.

NON ESISTE IL FILE ESATTI: Tutti i dati dalla fase di check sono errati.

________________________________________________________________________________