| 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 |
| 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 |
| Commentaire javadoc manquant. | 50 |
| Commentaire javadoc manquant. | 52 |
| La ligne excède 80 caractères. | 54 |
| Commentaire javadoc manquant. | 54 |
| Il manque une espace avant '<'. | 59 |
| Il manque une espace après '<'. | 59 |
| Il manque une espace avant '>'. | 59 |
| Il manque une espace avant '<'. | 59 |
| Il manque une espace après '<'. | 59 |
| Il manque une espace avant '>'. | 59 |
| Il manque une espace après '>'. | 59 |
| Il manque une espace avant '<'. | 66 |
| Il manque une espace après '<'. | 66 |
| Il manque une espace avant '>'. | 66 |
| Il manque une espace avant '<'. | 66 |
| Il manque une espace après '<'. | 66 |
| Il manque une espace avant '>'. | 66 |
| Il manque une espace après '>'. | 66 |
| La première ligne doit se terminer avec un point. | 80 |
| La première ligne doit se terminer avec un point. | 89 |
| La variable 'trail' devrait être privée et avoir des accesseurs. | 92 |
| La première ligne doit se terminer avec un point. | 96 |
| La variable 'trailLim' devrait être privée et avoir des accesseurs. | 99 |
| La première ligne doit se terminer avec un point. | 103 |
| La variable 'rootLevel' devrait être privée et avoir des accesseurs. | 106 |
| Commentaire javadoc manquant. | 108 |
| Commentaire javadoc manquant. | 110 |
| La variable 'voc' devrait être privée et avoir des accesseurs. | 110 |
| Commentaire javadoc manquant. | 112 |
| Commentaire javadoc manquant. | 114 |
| Il manque une espace avant '<'. | 114 |
| Il manque une espace après '<'. | 114 |
| Il manque une espace avant '>'. | 114 |
| Commentaire javadoc manquant. | 116 |
| Commentaire javadoc manquant. | 118 |
| Commentaire javadoc manquant. | 120 |
| La variable 'analyzer' devrait être privée et avoir des accesseurs. | 120 |
| Commentaire javadoc manquant. | 122 |
| Commentaire javadoc manquant. | 124 |
| Commentaire javadoc manquant. | 126 |
| La variable 'dsfactory' devrait être privée et avoir des accesseurs. | 126 |
| Commentaire javadoc manquant. | 128 |
| Commentaire javadoc manquant. | 130 |
| Le nom de la classe '__dimacs_out' n'est pas conforme à l'expression '^[a-z][a-zA-Z0-9]*$'. | 130 |
| Commentaire javadoc manquant. | 132 |
| Commentaire javadoc manquant. | 134 |
| Le paramètre in devrait être final. | 134 |
| La ligne excède 80 caractères. | 137 |
| Line has trailing spaces. | 153 |
| Le paramètre acg devrait être final. | 158 |
| Le paramètre learner devrait être final. | 158 |
| 'learner' masque un attribut. | 158 |
| Balise javadoc @param manquante pour 'learner'. | 158 |
| Le paramètre dsf devrait être final. | 159 |
| Balise javadoc @param manquante pour 'dsf'. | 159 |
| Le paramètre order devrait être final. | 159 |
| 'order' masque un attribut. | 159 |
| Balise javadoc @param manquante pour 'order'. | 159 |
| Commentaire javadoc manquant. | 163 |
| Le paramètre acg devrait être final. | 163 |
| Le paramètre learner devrait être final. | 163 |
| 'learner' masque un attribut. | 163 |
| Le paramètre dsf devrait être final. | 164 |
| Le paramètre params devrait être final. | 164 |
| 'params' masque un attribut. | 164 |
| Le paramètre order devrait être final. | 164 |
| 'order' masque un attribut. | 164 |
| Commentaire javadoc manquant. | 176 |
| 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. | 176 |
| Le paramètre sl devrait être final. | 176 |
| Commentaire javadoc manquant. | 180 |
| 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. | 180 |
| Le paramètre t devrait être final. | 180 |
| Commentaire javadoc manquant. | 184 |
| 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. | 184 |
| Commentaire javadoc manquant. | 188 |
| 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. | 188 |
| Commentaire javadoc manquant. | 192 |
| Commentaire javadoc manquant. | 196 |
| 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. | 196 |
| Le paramètre c devrait être final. | 196 |
| Il manque le cas "default" dans le bloc "switch". | 202 |
| '3' devrait être défini comme une constante. | 206 |
| Commentaire javadoc manquant. | 212 |
| 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. | 212 |
| Commentaire javadoc manquant. | 216 |
| 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. | 216 |
| Commentaire javadoc manquant. | 227 |
| 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. | 227 |
| Le paramètre howmany devrait être final. | 227 |
| Commentaire javadoc manquant. | 237 |
| Line has trailing spaces. | 318 |
| Line has trailing spaces. | 333 |
| Line has trailing spaces. | 344 |
| La ligne excède 80 caractères. | 358 |
| Line has trailing spaces. | 457 |
| Line has trailing spaces. | 472 |
| Line has trailing spaces. | 526 |
| Line has trailing spaces. | 563 |
| Line has trailing spaces. | 573 |
| Line has trailing spaces. | 701 |
| Line has trailing spaces. | 790 |
| Line has trailing spaces. | 806 |
| Line has trailing spaces. | 847 |
| Line has trailing spaces. | 855 |
| Line has trailing spaces. | 985 |
| Line has trailing spaces. | 996 |
| Line has trailing spaces. | 1010 |
| Line has trailing spaces. | 1032 |
| Line has trailing spaces. | 1051 |