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 | 9 | DLB |
| FIXME | 0 | FIXME |
| TODO | 43 | TODO |
Each tag is detailed below:
Number of occurrences found in the code: 9
| org.sat4j.pb.PseudoOptDecorator | Line |
|---|---|
| findbugs ok | 184 |
| org.sat4j.pb.XplainTests | Line |
| FIXED | 24 |
| this is a real bug. I still need to work on that issue :( String conflictingElement = helper.getConflictingElement(); | 192 |
| fixed. | 198 |
| org.sat4j.pb.constraints.pb.ConflictMap | Line |
| Findbugs warning ok | 204 |
| org.sat4j.pb.constraints.pb.MinWatchPb | Line |
| assert maxCoef!=0; | 409 |
| org.sat4j.pb.constraints.pb.MinWatchPbLong | Line |
| assert maxCoef!=0; | 410 |
| org.sat4j.pb.constraints.pb.MinWatchPbLongCP | Line |
| assert maxCoef!=0; | 411 |
| org.sat4j.pb.constraints.pb.MinWatchPbLongLimit | Line |
| assert maxCoef!=0; | 434 |
Number of occurrences found in the code: 43
| org.sat4j.pb.OPBStringSolver | Line |
|---|---|
| Auto-generated method stub | 198 |
| Auto-generated method stub | 210 |
| org.sat4j.pb.PseudoBitsAdderDecorator | Line |
| Auto-generated catch block | 162 |
| Auto-generated catch block | 165 |
| Auto-generated catch block | 168 |
| org.sat4j.pb.UserFriendlyPBStringSolver | Line |
| Auto-generated method stub | 201 |
| Auto-generated method stub | 213 |
| org.sat4j.pb.XplainTests | Line |
| We would like to use SolverFactory.newEclipseP2(); currently this throws a class cast exception in the DependencyHelper | 22 |
| would like all conflicting elements This throws an ArrayIndexOutOfBounds | 190 |
| why throws an NPE | 197 |
| Change this logic to actually use the tree of dependencies | 201 |
| Fix this logic to actually investigate the tree returned | 221 |
| org.sat4j.pb.constraints.CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest | Line |
| Auto-generated constructor stub | 38 |
| org.sat4j.pb.constraints.CompetPBResHTMixedConstraintsObjectiveLearningTest | Line |
| Auto-generated constructor stub | 38 |
| org.sat4j.pb.constraints.CompetPBResLongHTMixedConstraintsObjectiveLearningTest | Line |
| Auto-generated constructor stub | 38 |
| org.sat4j.pb.constraints.CompetPBResLongWLMixedConstraintsObjectiveLearningTest | Line |
| Auto-generated constructor stub | 38 |
| org.sat4j.pb.constraints.CompetPBResMinHTMixedConstraintsObjectiveLearningTest | Line |
| Auto-generated constructor stub | 38 |
| org.sat4j.pb.constraints.CounterPBConstrWithClauseCardConstrLearningTest | Line |
| Auto-generated constructor stub | 40 |
| org.sat4j.pb.constraints.PBCPMixedConstraintsCautiousTest | Line |
| Auto-generated constructor stub | 11 |
| org.sat4j.pb.constraints.PBCPMixedConstraintsResCPTest | Line |
| Auto-generated constructor stub | 11 |
| org.sat4j.pb.constraints.PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest | Line |
| Auto-generated constructor stub | 38 |
| org.sat4j.pb.constraints.pb.ConflictMapCardinality | Line |
| Auto-generated constructor stub | 34 |
| org.sat4j.pb.constraints.pb.IConflict | Line |
| --No comment-- | 44 |
| org.sat4j.pb.constraints.pb.OriginalBinaryClausePB | Line |
| Auto-generated constructor stub | 42 |
| org.sat4j.pb.constraints.pb.WatchPbLong | Line |
| Auto-generated method stub | 566 |
| Auto-generated method stub | 571 |
| Auto-generated method stub | 576 |
| org.sat4j.pb.core.PBSolver | Line |
| use direct encoding to int/long | 97 |
| use direct encoding to int/long | 116 |
| use direct encoding to int/long | 135 |
| org.sat4j.pb.core.PBSolverResCP | Line |
| Auto-generated constructor stub | 66 |
| org.sat4j.pb.tools.ConflictTracing | Line |
| Auto-generated method stub | 61 |
| Auto-generated method stub | 66 |
| Auto-generated method stub | 71 |
| Auto-generated method stub | 76 |
| Auto-generated method stub | 81 |
| Auto-generated method stub | 86 |
| Auto-generated method stub | 91 |
| Auto-generated method stub | 96 |
| Auto-generated method stub | 113 |
| Auto-generated method stub | 118 |
| Auto-generated method stub | 123 |
| Auto-generated method stub | 128 |
