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 | 6 | DLB |
| FIXME | 2 | FIXME |
| TODO | 60 | TODO |
Each tag is detailed below:
Number of occurrences found in the code: 6
| org.sat4j.core.Vec | Line |
|---|---|
| findbugs ok | 317 |
| org.sat4j.minisat.constraints.card.MinWatchCard | Line |
| inutile? ps.shrinkTo(nbElement); | 235 |
| org.sat4j.minisat.core.Solver | Line |
| findbugs ok A zero length array would mean that the formula is a tautology. | 1962 |
| findbugs ok A zero length array would mean that the formula is a tautology. | 1971 |
| org.sat4j.opt.MinOneDecorator | Line |
| findbugs ok | 127 |
| org.sat4j.tools.DotSearchTracing | Line |
| add support for restarts on the graphs. | 216 |
Number of occurrences found in the code: 2
| org.sat4j.minisat.constraints.card.AtLeast | Line |
|---|---|
| need to be adapted to AtLeast return lits[0].getReason() == this; | 235 |
| org.sat4j.minisat.core.Solver | Line |
| enlever le transtypage | 1024 |
Number of occurrences found in the code: 60
| org.sat4j.Messages | Line |
|---|---|
| Auto-generated method stub | 55 |
| org.sat4j.minisat.constraints.card.AtLeast | Line |
| Auto-generated method stub | 217 |
| Auto-generated method stub | 227 |
| Auto-generated method stub | 295 |
| org.sat4j.minisat.constraints.card.MaxWatchCard | Line |
| getActivity | 156 |
| incActivity | 168 |
| learnt | 178 |
| locked | 189 |
| Auto-generated method stub | 430 |
| org.sat4j.minisat.constraints.card.MinWatchCard | Line |
| getActivity | 179 |
| incActivity | 191 |
| locked | 249 |
| rescaleBy | 390 |
| org.sat4j.minisat.core.Solver | Line |
| Auto-generated method stub | 1394 |
| Auto-generated method stub | 1399 |
| org.sat4j.specs.SearchListener | Line |
| --No comment-- | 55 |
| --No comment-- | 87 |
| --No comment-- | 89 |
| org.sat4j.tools.AbstractOutputSolver | Line |
| Auto-generated method stub | 67 |
| Auto-generated method stub | 72 |
| Auto-generated method stub | 87 |
| Auto-generated method stub | 116 |
| Auto-generated method stub | 120 |
| Auto-generated method stub | 125 |
| Auto-generated method stub | 130 |
| org.sat4j.tools.ConflictLevelTracing | Line |
| Auto-generated method stub | 65 |
| Auto-generated method stub | 74 |
| Auto-generated method stub | 79 |
| Auto-generated method stub | 88 |
| Auto-generated method stub | 93 |
| Auto-generated method stub | 102 |
| Auto-generated method stub | 107 |
| Auto-generated method stub | 112 |
| org.sat4j.tools.DecisionLevelTracing | Line |
| Auto-generated method stub | 65 |
| Auto-generated method stub | 74 |
| Auto-generated method stub | 79 |
| Auto-generated method stub | 88 |
| Auto-generated method stub | 93 |
| Auto-generated method stub | 102 |
| Auto-generated method stub | 107 |
| Auto-generated method stub | 112 |
| org.sat4j.tools.DecisionTracing | Line |
| Auto-generated method stub | 64 |
| Auto-generated method stub | 73 |
| Auto-generated method stub | 78 |
| Auto-generated method stub | 83 |
| Auto-generated method stub | 88 |
| Auto-generated method stub | 93 |
| Auto-generated method stub | 103 |
| Auto-generated method stub | 108 |
| Auto-generated method stub | 113 |
| org.sat4j.tools.LearnedClauseSizeTracing | Line |
| Auto-generated method stub | 65 |
| Auto-generated method stub | 74 |
| Auto-generated method stub | 79 |
| Auto-generated method stub | 88 |
| Auto-generated method stub | 93 |
| Auto-generated method stub | 102 |
| Auto-generated method stub | 107 |
| Auto-generated method stub | 112 |
| org.sat4j.tools.ManyCore | Line |
| handle exception | 302 |
| org.sat4j.tools.encoding.Binary | Line |
| Implement binary at most k method | 116 |
