| Error Description | Line |
| Il manque un caractère NewLine à la fin du fichier | 0 |
| Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException. | 0 |
| La ligne excède 80 caractères. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 53 |
| Dans le commentaire javadoc de la classe, il manque une balise @param <L>. | 56 |
| La ligne excède 80 caractères. | 56 |
| Il manque une espace avant '<'. | 56 |
| Il manque une espace après '<'. | 56 |
| Il manque une espace avant '>'. | 56 |
| Commentaire javadoc manquant. | 59 |
| Commentaire javadoc manquant. | 61 |
| La ligne excède 80 caractères. | 63 |
| Commentaire javadoc manquant. | 63 |
| Il manque une espace avant '<'. | 68 |
| Il manque une espace après '<'. | 68 |
| Il manque une espace avant '>'. | 68 |
| Il manque une espace avant '<'. | 68 |
| Il manque une espace après '<'. | 68 |
| Il manque une espace avant '>'. | 68 |
| Il manque une espace après '>'. | 68 |
| Il manque une espace avant '<'. | 73 |
| Il manque une espace après '<'. | 73 |
| Il manque une espace avant '>'. | 73 |
| Il manque une espace avant '<'. | 73 |
| Il manque une espace après '<'. | 73 |
| Il manque une espace avant '>'. | 73 |
| Il manque une espace après '>'. | 73 |
| La première ligne doit se terminer avec un point. | 85 |
| La première ligne doit se terminer avec un point. | 94 |
| La variable 'trail' devrait être privée et avoir des accesseurs. | 97 |
| La première ligne doit se terminer avec un point. | 101 |
| La variable 'trailLim' devrait être privée et avoir des accesseurs. | 104 |
| La première ligne doit se terminer avec un point. | 108 |
| La variable 'rootLevel' devrait être privée et avoir des accesseurs. | 111 |
| Commentaire javadoc manquant. | 113 |
| Commentaire javadoc manquant. | 115 |
| La variable 'voc' devrait être privée et avoir des accesseurs. | 115 |
| Commentaire javadoc manquant. | 117 |
| Il manque une espace avant '<'. | 117 |
| Il manque une espace après '<'. | 117 |
| Il manque une espace avant '>'. | 117 |
| Commentaire javadoc manquant. | 119 |
| Commentaire javadoc manquant. | 121 |
| Commentaire javadoc manquant. | 123 |
| Il manque une espace avant '<'. | 123 |
| Il manque une espace après '<'. | 123 |
| Il manque une espace avant '>'. | 123 |
| Commentaire javadoc manquant. | 125 |
| La variable 'analyzer' devrait être privée et avoir des accesseurs. | 125 |
| Commentaire javadoc manquant. | 127 |
| Commentaire javadoc manquant. | 129 |
| Commentaire javadoc manquant. | 131 |
| Il manque une espace avant '<'. | 131 |
| Il manque une espace après '<'. | 131 |
| Il manque une espace avant '>'. | 131 |
| La variable 'dsfactory' devrait être privée et avoir des accesseurs. | 131 |
| Commentaire javadoc manquant. | 133 |
| Commentaire javadoc manquant. | 135 |
| Le nom de la classe '__dimacs_out' n'est pas conforme à l'expression '^[a-z][a-zA-Z0-9]*$'. | 135 |
| Commentaire javadoc manquant. | 137 |
| Commentaire javadoc manquant. | 139 |
| Line has trailing spaces. | 140 |
| Commentaire javadoc manquant. | 141 |
| La méthode 'dimacs2internal' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 141 |
| Le paramètre in devrait être final. | 141 |
| La ligne excède 80 caractères. | 144 |
| Line has trailing spaces. | 159 |
| Le paramètre acg devrait être final. | 164 |
| Le paramètre learner devrait être final. | 164 |
| Il manque une espace avant '<'. | 164 |
| Il manque une espace après '<'. | 164 |
| Il manque une espace avant '>'. | 164 |
| 'learner' masque un attribut. | 164 |
| Balise javadoc @param manquante pour 'learner'. | 164 |
| La ligne excède 80 caractères. | 165 |
| Le paramètre dsf devrait être final. | 165 |
| Il manque une espace avant '<'. | 165 |
| Il manque une espace après '<'. | 165 |
| Il manque une espace avant '>'. | 165 |
| Balise javadoc @param manquante pour 'dsf'. | 165 |
| Le paramètre order devrait être final. | 165 |
| Il manque une espace avant '<'. | 165 |
| Il manque une espace après '<'. | 165 |
| Il manque une espace avant '>'. | 165 |
| 'order' masque un attribut. | 165 |
| Balise javadoc @param manquante pour 'order'. | 165 |
| Le paramètre restarter devrait être final. | 165 |
| 'restarter' masque un attribut. | 165 |
| Balise javadoc @param manquante pour 'restarter'. | 165 |
| Il manque une espace après ','. | 166 |
| Line has trailing spaces. | 168 |
| Commentaire javadoc manquant. | 169 |
| Le paramètre acg devrait être final. | 169 |
| Le paramètre learner devrait être final. | 169 |
| Il manque une espace avant '<'. | 169 |
| Il manque une espace après '<'. | 169 |
| Il manque une espace avant '>'. | 169 |
| 'learner' masque un attribut. | 169 |
| La ligne excède 80 caractères. | 170 |
| Le paramètre dsf devrait être final. | 170 |
| Il manque une espace avant '<'. | 170 |
| Il manque une espace après '<'. | 170 |
| Il manque une espace avant '>'. | 170 |
| Le paramètre params devrait être final. | 170 |
| 'params' masque un attribut. | 170 |
| Le paramètre order devrait être final. | 170 |
| Il manque une espace avant '<'. | 170 |
| Il manque une espace après '<'. | 170 |
| Il manque une espace avant '>'. | 170 |
| 'order' masque un attribut. | 170 |
| Le paramètre restarter devrait être final. | 170 |
| 'restarter' masque un attribut. | 170 |
| Line has trailing spaces. | 182 |
| Le paramètre dsf devrait être final. | 186 |
| Il manque une espace avant '<'. | 186 |
| Il manque une espace après '<'. | 186 |
| Il manque une espace avant '>'. | 186 |
| Commentaire javadoc manquant. | 194 |
| La méthode 'setSearchListener' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 194 |
| Le paramètre sl devrait être final. | 194 |
| Commentaire javadoc manquant. | 198 |
| La méthode 'setTimeout' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 198 |
| Le paramètre t devrait être final. | 198 |
| Il manque une espace avant '*'. | 199 |
| '1000L' devrait être défini comme une constante. | 199 |
| Il manque une espace après '*'. | 199 |
| Commentaire javadoc manquant. | 202 |
| La méthode 'setTimeoutMs' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 202 |
| Le paramètre t devrait être final. | 202 |
| Line has trailing spaces. | 205 |
| Commentaire javadoc manquant. | 206 |
| La méthode 'setSearchParams' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 206 |
| Le paramètre sp devrait être final. | 206 |
| Commentaire javadoc manquant. | 210 |
| La méthode 'setRestartStrategy' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 210 |
| Le paramètre restarter devrait être final. | 210 |
| 'restarter' masque un attribut. | 210 |
| Line has trailing spaces. | 213 |
| Commentaire javadoc manquant. | 214 |
| La méthode 'nAssigns' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 214 |
| Commentaire javadoc manquant. | 218 |
| La méthode 'nConstraints' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 218 |
| Commentaire javadoc manquant. | 222 |
| La méthode 'learn' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 222 |
| Le paramètre c devrait être final. | 222 |
| '3' devrait être défini comme une constante. | 231 |
| Commentaire javadoc manquant. | 239 |
| La méthode 'decisionLevel' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 239 |
| Commentaire javadoc manquant. | 243 |
| La méthode 'newVar' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 243 |
| Commentaire javadoc manquant. | 253 |
| La méthode 'newVar' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 253 |
| Le paramètre howmany devrait être final. | 253 |
| Commentaire javadoc manquant. | 262 |
| La ligne excède 80 caractères. | 270 |
| Line has trailing spaces. | 340 |
| Line has trailing spaces. | 355 |
| Line has trailing spaces. | 366 |
| Line has trailing spaces. | 471 |
| Line has trailing spaces. | 486 |
| Line has trailing spaces. | 503 |
| Line has trailing spaces. | 522 |
| Line has trailing spaces. | 525 |
| Line has trailing spaces. | 526 |
| La ligne excède 80 caractères. | 527 |
| Line has trailing spaces. | 543 |
| Line has trailing spaces. | 546 |
| Line has trailing spaces. | 547 |
| Line has trailing spaces. | 631 |
| Line has trailing spaces. | 641 |
| Line has trailing spaces. | 670 |
| Line has trailing spaces. | 773 |
| Line has trailing spaces. | 867 |
| Line has trailing spaces. | 899 |
| La ligne excède 80 caractères. | 932 |
| Line has trailing spaces. | 944 |
| Line has trailing spaces. | 952 |
| Line has trailing spaces. | 970 |
| Line has trailing spaces. | 973 |
| La ligne excède 80 caractères. | 1026 |
| La ligne excède 80 caractères. | 1034 |
| Line has trailing spaces. | 1091 |
| Line has trailing spaces. | 1102 |
| La ligne excède 80 caractères. | 1113 |
| Line has trailing spaces. | 1120 |
| Line has trailing spaces. | 1142 |
| Line has trailing spaces. | 1188 |
| Line has trailing spaces. | 1197 |
| Line has trailing spaces. | 1200 |
| Line has trailing spaces. | 1205 |
| Line has trailing spaces. | 1209 |
| Line has trailing spaces. | 1217 |