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:
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 |
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 |
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 |