The following document contains the listing of user tags found in the code. Below is the summary of the occurrences per tag.
| Tag Class | Total number of occurrences | Tag strings used by tag class |
|---|---|---|
| @todo | 0 | @todo |
| DLB | 0 | DLB |
| FIXME | 0 | FIXME |
| TODO | 6 | TODO |
Each tag is detailed below:
Number of occurrences found in the code: 6
| org.sat4j.csp.encodings.GeneralizedSupportEncoding | Line |
|---|---|
| Auto-generated method stub | 52 |
| org.sat4j.reader.CSPReader | Line |
| Auto-generated method stub | 397 |
| Auto-generated method stub | 455 |
| Auto-generated method stub | 460 |
| Auto-generated method stub | 465 |
| Auto-generated method stub | 495 |
