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 | 0 |
| TODO | 35 |
Each tag is detailed below:
Number of occurrences found in the code: 6
| org.sat4j.pb.PseudoOptDecorator | Line |
|---|---|
| findbugs ok | 175 |
| 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; | 410 |
Number of occurrences found in the code: 35
| org.sat4j.pb.OPBStringSolver | Line |
|---|---|
| Auto-generated method stub | 114 |
| Auto-generated method stub | 196 |
| Auto-generated method stub | 208 |
| org.sat4j.pb.UserFriendlyPBStringSolver | Line |
| Auto-generated method stub | 194 |
| Auto-generated method stub | 206 |
| 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.CompetMinHTmixedClauseCardConstrDataStructureFactory | Line |
| Auto-generated constructor stub | 28 |
| org.sat4j.pb.constraints.CompetPBResHTMixedConstraintsObjectiveLearningTest | Line |
| Auto-generated constructor stub | 38 |
| org.sat4j.pb.constraints.CompetPBResMinHTMixedConstraintsObjectiveLearningTest | Line |
| Auto-generated constructor stub | 38 |
| org.sat4j.pb.constraints.CounterPBConstrWithCBClauseCardConstrLearningTest | 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.core.PBSolverResCP | Line |
| Auto-generated constructor stub | 38 |
| Auto-generated constructor stub | 45 |
| org.sat4j.pb.tools.ConflictTracing | Line |
| Auto-generated method stub | 34 |
| Auto-generated method stub | 39 |
| Auto-generated method stub | 44 |
| Auto-generated method stub | 49 |
| Auto-generated method stub | 54 |
| Auto-generated method stub | 59 |
| Auto-generated method stub | 64 |
| Auto-generated method stub | 69 |
| Auto-generated method stub | 86 |
| Auto-generated method stub | 91 |
| Auto-generated method stub | 96 |
| Auto-generated method stub | 101 |
