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 | 5 | DLB |
| FIXME | 1 | FIXME |
| TODO | 32 | TODO |
Each tag is detailed below:
Number of occurrences found in the code: 5
| org.sat4j.core.Vec | Line |
|---|---|
| findbugs ok | 321 |
| org.sat4j.minisat.constraints.card.MinWatchCard | Line |
| inutile? ps.shrinkTo(nbElement); | 241 |
| org.sat4j.minisat.core.Solver | Line |
| findbugs ok A zero length array would mean that the formula is a tautology. | 2294 |
| findbugs ok A zero length array would mean that the formula is a tautology. | 2303 |
| org.sat4j.opt.MinOneDecorator | Line |
| findbugs ok | 129 |
Number of occurrences found in the code: 1
| org.sat4j.minisat.constraints.card.AtLeast | Line |
|---|---|
| need to be adapted to AtLeast return lits[0].getReason() == this; | 245 |
Number of occurrences found in the code: 32
| org.sat4j.BugSAT81 | Line |
|---|---|
| Error | 105 |
| org.sat4j.Messages | Line |
| Auto-generated method stub | 57 |
| org.sat4j.minisat.constraints.card.AtLeast | Line |
| Auto-generated method stub | 310 |
| org.sat4j.minisat.constraints.card.MaxWatchCard | Line |
| getActivity | 162 |
| incActivity | 174 |
| learnt | 187 |
| locked | 198 |
| Auto-generated method stub | 444 |
| org.sat4j.minisat.constraints.card.MinWatchCard | Line |
| rescaleBy | 402 |
| org.sat4j.minisat.core.Solver | Line |
| Auto-generated method stub | 1595 |
| Auto-generated method stub | 1600 |
| Auto-generated method stub | 1618 |
| org.sat4j.opt.MaxSatDecorator | Line |
| --No comment-- | 173 |
| org.sat4j.opt.MinOneDecorator | Line |
| --No comment-- | 170 |
| org.sat4j.specs.SearchListener | Line |
| --No comment-- | 66 |
| --No comment-- | 98 |
| --No comment-- | 100 |
| --No comment-- | 102 |
| org.sat4j.specs.package-info | Line |
| Auto-generated catch block | 18 |
| Auto-generated catch block | 20 |
| Auto-generated catch block | 22 |
| org.sat4j.tools.AbstractOutputSolver | Line |
| Auto-generated method stub | 70 |
| Auto-generated method stub | 75 |
| Auto-generated method stub | 90 |
| Auto-generated method stub | 119 |
| Auto-generated method stub | 123 |
| Auto-generated method stub | 128 |
| Auto-generated method stub | 133 |
| Auto-generated method stub | 231 |
| Auto-generated method stub | 236 |
| Auto-generated method stub | 241 |
| org.sat4j.tools.LexicoDecorator | Line |
| --No comment-- | 226 |
