| Error Description | Line |
| Commentaire javadoc manquant. | 3 |
| Commentaire javadoc manquant. | 5 |
| 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. | 5 |
| Le paramètre p devrait être final. | 5 |
| Commentaire javadoc manquant. | 9 |
| 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. | 9 |
| Le paramètre p devrait être final. | 9 |
| Commentaire javadoc manquant. | 13 |
| 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. | 13 |
| Le paramètre p devrait être final. | 13 |
| Commentaire javadoc manquant. | 17 |
| 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. | 17 |
| Le paramètre p devrait être final. | 17 |
| Commentaire javadoc manquant. | 21 |
| Le paramètre clause devrait être final. | 21 |
| Commentaire javadoc manquant. | 25 |
| Le paramètre clause devrait être final. | 25 |
| Commentaire javadoc manquant. | 29 |
| 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. | 29 |
| Commentaire javadoc manquant. | 33 |
| 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. | 33 |
| Commentaire javadoc manquant. | 37 |