| Error Description | Line |
| 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 |
| Import inutilisé - org.sat4j.minisat.core.LiteralsUtils.var. | 28 |
| Commentaire javadoc manquant. | 37 |
| Il manque une espace avant '<'. | 37 |
| Il manque une espace après '<'. | 37 |
| Il manque une espace avant '>'. | 37 |
| Line has trailing spaces. | 40 |
| Commentaire javadoc manquant. | 44 |
| Commentaire javadoc manquant. | 46 |
| La méthode 'setObjectiveFunction' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 46 |
| Le paramètre obj devrait être final. | 46 |
| 'obj' masque un attribut. | 46 |
| Commentaire javadoc manquant. | 50 |
| La méthode 'init' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 50 |
| Il manque une espace avant '<'. | 55 |
| Il manque une espace après '<'. | 55 |
| Il manque une espace avant '>'. | 55 |
| L'instruction 'if' devrait utiliser des accolades ('{' et '}'). | 64 |
| Line has trailing spaces. | 70 |
| Commentaire javadoc manquant. | 71 |
| La méthode 'updateVar' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 71 |
| Le paramètre p devrait être final. | 72 |
| L'instruction 'if' devrait utiliser des accolades ('{' et '}'). | 75 |
| Line has trailing spaces. | 77 |
| Line has trailing spaces. | 78 |
| Commentaire javadoc manquant. | 79 |
| La méthode 'assignLiteral' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 79 |
| Le paramètre p devrait être final. | 80 |
| Il manque une espace avant '>>'. | 81 |
| Il manque une espace après '>>'. | 81 |