| Error Description | Line |
| Commentaire javadoc manquant. | 3 |
| Commentaire javadoc manquant. | 6 |
| La méthode 'assuming' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 6 |
| Le paramètre p devrait être final. | 6 |
| Commentaire javadoc manquant. | 10 |
| La méthode 'propagating' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 10 |
| Le paramètre p devrait être final. | 10 |
| Commentaire javadoc manquant. | 14 |
| La méthode 'backtracking' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 14 |
| Le paramètre p devrait être final. | 14 |
| Commentaire javadoc manquant. | 18 |
| La méthode 'adding' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 18 |
| Le paramètre p devrait être final. | 18 |
| Commentaire javadoc manquant. | 22 |
| Le paramètre clause devrait être final. | 22 |
| Commentaire javadoc manquant. | 26 |
| Le paramètre clause devrait être final. | 26 |
| Commentaire javadoc manquant. | 30 |
| La méthode 'conflictFound' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 30 |
| Commentaire javadoc manquant. | 34 |
| La méthode 'solutionFound' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 34 |
| Commentaire javadoc manquant. | 38 |
| La ligne contient un caractère tabulation. | 41 |
| Commentaire javadoc manquant. | 41 |
| La ligne contient un caractère tabulation. | 42 |
| La ligne contient un caractère tabulation. | 44 |
| Commentaire javadoc manquant. | 44 |
| Le paramètre result devrait être final. | 44 |
| La ligne contient un caractère tabulation. | 45 |