Tag List Report
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: 1
| org.sat4j.csp.EnumeratedDomain |
Line |
|---|
| findbugs ok |
30
|
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
|
