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 | 6 |
| FIXME | 2 |
| TODO | 65 |
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); | 234 |
| org.sat4j.minisat.core.Solver | Line |
| findbugs ok A zero length array would mean that the formula is a tautology. | 1647 |
| findbugs ok A zero length array would mean that the formula is a tautology. | 1656 |
| org.sat4j.opt.MinOneDecorator | Line |
| findbugs ok | 122 |
| 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 | 873 |
Number of occurrences found in the code: 65
| 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 | 155 |
| incActivity | 167 |
| learnt | 177 |
| locked | 188 |
| Auto-generated method stub | 428 |
| org.sat4j.minisat.constraints.card.MinWatchCard | Line |
| getActivity | 178 |
| incActivity | 190 |
| locked | 248 |
| rescaleBy | 389 |
| org.sat4j.minisat.constraints.cnf.MixableCBClause | Line |
| Raccord de constructeur auto-genere | 52 |
| Raccord de constructeur auto-genere | 75 |
| org.sat4j.specs.SearchListener | Line |
| --No comment-- | 55 |
| --No comment-- | 87 |
| --No comment-- | 89 |
| org.sat4j.tools.ConflictLevelTracing | Line |
| Auto-generated method stub | 38 |
| Auto-generated method stub | 47 |
| Auto-generated method stub | 52 |
| Auto-generated method stub | 61 |
| Auto-generated method stub | 66 |
| Auto-generated method stub | 75 |
| Auto-generated method stub | 80 |
| Auto-generated method stub | 85 |
| org.sat4j.tools.DecisionLevelTracing | Line |
| Auto-generated method stub | 38 |
| Auto-generated method stub | 47 |
| Auto-generated method stub | 52 |
| Auto-generated method stub | 61 |
| Auto-generated method stub | 66 |
| Auto-generated method stub | 75 |
| Auto-generated method stub | 80 |
| Auto-generated method stub | 85 |
| org.sat4j.tools.DecisionTracing | Line |
| Auto-generated method stub | 38 |
| Auto-generated method stub | 47 |
| Auto-generated method stub | 52 |
| Auto-generated method stub | 57 |
| Auto-generated method stub | 62 |
| Auto-generated method stub | 67 |
| Auto-generated method stub | 77 |
| Auto-generated method stub | 82 |
| Auto-generated method stub | 87 |
| org.sat4j.tools.DimacsOutputSolver | Line |
| Auto-generated method stub | 152 |
| Auto-generated method stub | 156 |
| Auto-generated method stub | 177 |
| Auto-generated method stub | 182 |
| Auto-generated method stub | 187 |
| Auto-generated method stub | 196 |
| Auto-generated method stub | 233 |
| org.sat4j.tools.DimacsStringSolver | Line |
| Auto-generated method stub | 178 |
| Auto-generated method stub | 183 |
| Auto-generated method stub | 205 |
| Auto-generated method stub | 209 |
| Auto-generated method stub | 214 |
| Auto-generated method stub | 223 |
| Auto-generated method stub | 271 |
| org.sat4j.tools.LearnedClauseSizeTracing | Line |
| Auto-generated method stub | 38 |
| Auto-generated method stub | 47 |
| Auto-generated method stub | 52 |
| Auto-generated method stub | 61 |
| Auto-generated method stub | 66 |
| Auto-generated method stub | 75 |
| Auto-generated method stub | 80 |
| Auto-generated method stub | 85 |
