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 7
FIXME 3
TODO 32

Each tag is detailed below:

DLB

Number of occurrences found in the code: 7

org.sat4j.core.Vec Line
findbugs ok 86
findbugs ok 318
org.sat4j.minisat.constraints.card.MinWatchCard Line
inutile? ps.shrinkTo(nbElement); 237
org.sat4j.minisat.core.Heap Line
findbugs ok 102
org.sat4j.minisat.core.Solver Line
findbugs ok A zero length array would mean that the formula is a tautology. 1314
findbugs ok A zero length array would mean that the formula is a tautology. 1323
org.sat4j.opt.MinOneDecorator Line
findbugs ok 100

FIXME

Number of occurrences found in the code: 3

org.sat4j.minisat.constraints.card.AtLeast Line
need to be adapted to AtLeast return lits[0].getReason() == this; 191
org.sat4j.minisat.core.Solver Line
enlever le transtypage 755
verify that cleanup is OK 1174

TODO

Number of occurrences found in the code: 32

org.sat4j.Messages Line
Auto-generated method stub 55
org.sat4j.minisat.constraints.card.AtLeast Line
Auto-generated method stub 173
Auto-generated method stub 183
org.sat4j.minisat.constraints.card.MinWatchCard Line
calcReason: v?rifier par rapport ? l'article Pour chaque litt?ral 163
getActivity 181
incActivity 193
locked 251
rescaleBy 390
org.sat4j.minisat.constraints.cnf.BinaryClauses Line
Auto-generated method stub 155
Auto-generated method stub 164
Auto-generated method stub 183
Auto-generated method stub 192
Auto-generated method stub 201
Auto-generated method stub 219
org.sat4j.minisat.constraints.cnf.Lits2 Line
Auto-generated constructor stub 47
org.sat4j.minisat.constraints.cnf.MixableCBClause Line
Raccord de constructeur auto-genere 52
Raccord de constructeur auto-genere 74
org.sat4j.minisat.constraints.cnf.TernaryClauses Line
Auto-generated method stub 174
org.sat4j.tools.DimacsOutputSolver Line
Auto-generated method stub 151
Auto-generated method stub 155
Auto-generated method stub 173
Auto-generated method stub 178
Auto-generated method stub 183
Auto-generated method stub 192
Auto-generated method stub 229
org.sat4j.tools.DimacsStringSolver Line
Auto-generated method stub 171
Auto-generated method stub 176
Auto-generated method stub 194
Auto-generated method stub 198
Auto-generated method stub 203
Auto-generated method stub 212
Auto-generated method stub 260