Errori probabilistico

Programma - Errore - Causa

________________________________________________________________________________

contreg

:

  Matrice troppo larga: Superati i limiti di memoria

genreg:

  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.

________________________________________________________________________________

derivaz:

  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).

________________________________________________________________________________

genckf

  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.

________________________________________________________________________________

genimpn2:

  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.

________________________________________________________________________________