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
|
34 |
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); |
238
|
| 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. |
1511
|
| findbugs ok A zero length array would mean that the formula is a tautology. |
1520
|
| org.sat4j.opt.MinOneDecorator |
Line |
|---|
| findbugs ok |
122
|
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; |
235
|
| org.sat4j.minisat.core.Solver |
Line |
|---|
| enlever le transtypage |
782
|
| verify that cleanup is OK |
1368
|
Number of occurrences found in the code: 34
| 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 |
|---|
| calcReason: v?rifier par rapport ? l'article Pour chaque litt?ral |
141
|
| getActivity |
159
|
| incActivity |
171
|
| learnt |
181
|
| locked |
192
|
| Auto-generated method stub |
432
|
| org.sat4j.minisat.constraints.card.MinWatchCard |
Line |
|---|
| calcReason: v?rifier par rapport ? l'article Pour chaque litt?ral |
164
|
| getActivity |
182
|
| incActivity |
194
|
| locked |
252
|
| rescaleBy |
393
|
| org.sat4j.minisat.constraints.cnf.MixableCBClause |
Line |
|---|
| Raccord de constructeur auto-genere |
52
|
| Raccord de constructeur auto-genere |
74
|
| org.sat4j.minisat.core.Solver |
Line |
|---|
| Auto-generated method stub |
1177
|
| org.sat4j.specs.SearchListener |
Line |
|---|
| --No comment-- |
55
|
| --No comment-- |
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 |
173
|
| Auto-generated method stub |
178
|
| Auto-generated method stub |
200
|
| Auto-generated method stub |
204
|
| Auto-generated method stub |
209
|
| Auto-generated method stub |
218
|
| Auto-generated method stub |
266
|
