| Error Description | Line |
| Il manque un caractère NewLine à la fin du fichier | 0 |
| Line has trailing spaces. | 2 |
| Line has trailing spaces. | 4 |
| Line has trailing spaces. | 6 |
| Line has trailing spaces. | 8 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 11 |
| Line has trailing spaces. | 25 |
| Commentaire javadoc manquant. | 41 |
| Commentaire javadoc manquant. | 42 |
| Commentaire javadoc manquant. | 44 |
| La variable 'starts' devrait être privée et avoir des accesseurs. | 44 |
| Commentaire javadoc manquant. | 46 |
| La variable 'decisions' devrait être privée et avoir des accesseurs. | 46 |
| Commentaire javadoc manquant. | 48 |
| La variable 'propagations' devrait être privée et avoir des accesseurs. | 48 |
| Commentaire javadoc manquant. | 50 |
| La variable 'inspects' devrait être privée et avoir des accesseurs. | 50 |
| Commentaire javadoc manquant. | 52 |
| La variable 'conflicts' devrait être privée et avoir des accesseurs. | 52 |
| Commentaire javadoc manquant. | 54 |
| La variable 'learnedliterals' devrait être privée et avoir des accesseurs. | 54 |
| Commentaire javadoc manquant. | 56 |
| La variable 'learnedbinaryclauses' devrait être privée et avoir des accesseurs. | 56 |
| Commentaire javadoc manquant. | 58 |
| La variable 'learnedternaryclauses' devrait être privée et avoir des accesseurs. | 58 |
| Commentaire javadoc manquant. | 60 |
| La variable 'learnedclauses' devrait être privée et avoir des accesseurs. | 60 |
| Commentaire javadoc manquant. | 62 |
| La variable 'rootSimplifications' devrait être privée et avoir des accesseurs. | 62 |
| Commentaire javadoc manquant. | 64 |
| La variable 'reducedliterals' devrait être privée et avoir des accesseurs. | 64 |
| Commentaire javadoc manquant. | 66 |
| La variable 'changedreason' devrait être privée et avoir des accesseurs. | 66 |
| Commentaire javadoc manquant. | 68 |
| La variable 'reduceddb' devrait être privée et avoir des accesseurs. | 68 |
| Line has trailing spaces. | 69 |
| Commentaire javadoc manquant. | 70 |
| La méthode 'reset' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 70 |
| Il manque une espace avant '='. | 81 |
| Il manque une espace après '='. | 81 |
| Il manque une espace avant '='. | 82 |
| Il manque une espace après '='. | 82 |
| Il manque une espace avant '='. | 83 |
| Il manque une espace après '='. | 83 |
| Line has trailing spaces. | 85 |
| Commentaire javadoc manquant. | 86 |
| La méthode 'printStat' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 86 |
| Le paramètre out devrait être final. | 86 |
| Le paramètre prefix devrait être final. | 86 |
| Line has trailing spaces. | 107 |
| Commentaire javadoc manquant. | 108 |
| La méthode 'toMap' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 108 |
| Il manque une espace avant '<'. | 108 |
| Il manque une espace après '<'. | 108 |
| Il manque une espace après ','. | 108 |
| Il manque une espace avant '>'. | 108 |
| La ligne contient un caractère tabulation. | 109 |
| Il manque une espace avant '<'. | 109 |
| Il manque une espace après '<'. | 109 |
| Il manque une espace après ','. | 109 |
| Il manque une espace avant '>'. | 109 |
| Il manque une espace avant '<'. | 109 |
| Il manque une espace après '<'. | 109 |
| Il manque une espace après ','. | 109 |
| Il manque une espace avant '>'. | 109 |
| Il manque une espace après '>'. | 109 |
| La ligne contient un caractère tabulation. | 110 |
| La ligne contient un caractère tabulation. | 111 |
| La ligne contient un caractère tabulation. | 112 |
| Il manque une espace après ','. | 112 |
| Il manque une espace après 'cast'. | 112 |
| La ligne contient un caractère tabulation. | 113 |
| La ligne contient un caractère tabulation. | 114 |
| La ligne contient un caractère tabulation. | 115 |
| La ligne contient un caractère tabulation. | 116 |
| La ligne contient un caractère tabulation. | 117 |
| La ligne contient un caractère tabulation. | 118 |
| La ligne contient un caractère tabulation. | 119 |
| La ligne contient un caractère tabulation. | 120 |
| La ligne contient un caractère tabulation. | 121 |