The following document contains the listing of user tags found in the code. Below is the summary of the occurrences per tag.
| Tag | Total number of occurrences |
|---|---|
| @todo | 0 |
| DLB | 1 |
| FIXME | 0 |
| TODO | 8 |
Each tag is detailed below:
Number of occurrences found in the code: 8
| org.sat4j.csp.Predicate | Line |
|---|---|
| Auto-generated catch block | 68 |
| Auto-generated catch block | 71 |
| org.sat4j.csp.encodings.GeneralizedSupportEncoding | Line |
| Auto-generated method stub | 52 |
| org.sat4j.reader.CSPReader | Line |
| Auto-generated method stub | 395 |
| Auto-generated method stub | 453 |
| Auto-generated method stub | 458 |
| Auto-generated method stub | 463 |
| Auto-generated method stub | 493 |
