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 | 5 | DLB |
| FIXME | 0 | FIXME |
| TODO | 32 | TODO |
Each tag is detailed below:
Number of occurrences found in the code: 5
| org.sat4j.pb.PseudoOptDecorator | Line |
|---|---|
| findbugs ok | 286 |
| org.sat4j.pb.XplainTests | Line |
| FIXED | 54 |
| this is a real bug. I still need to work on that issue :( String conflictingElement = helper.getConflictingElement(); | 250 |
| fixed. | 256 |
| org.sat4j.pb.constraints.pb.ConflictMap | Line |
| Findbugs warning ok | 209 |
Number of occurrences found in the code: 32
| org.sat4j.pb.LPStringSolver | Line |
|---|---|
| Auto-generated method stub | 239 |
| Auto-generated method stub | 251 |
| there must an objective function | 296 |
| V�rifier que les variables sont bien num�rot�es de 1 � maxvarid | 302 |
| org.sat4j.pb.OPBStringSolver | Line |
| Auto-generated method stub | 202 |
| Auto-generated method stub | 214 |
| 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 | 203 |
| Auto-generated method stub | 215 |
| org.sat4j.pb.XplainTests | Line |
| We would like to use SolverFactory.newEclipseP2(); currently this throws a class cast exception in the DependencyHelper | 52 |
| would like all conflicting elements This throws an ArrayIndexOutOfBounds | 248 |
| why throws an NPE | 255 |
| Change this logic to actually use the tree of dependencies | 259 |
| Fix this logic to actually investigate the tree returned | 281 |
| org.sat4j.pb.constraints.CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest | Line |
| Auto-generated constructor stub | 40 |
| org.sat4j.pb.constraints.CompetPBResHTMixedConstraintsObjectiveLearningTest | Line |
| Auto-generated constructor stub | 40 |
| org.sat4j.pb.constraints.CompetPBResLongHTMixedConstraintsObjectiveLearningTest | Line |
| Auto-generated constructor stub | 40 |
| org.sat4j.pb.constraints.CompetPBResLongWLMixedConstraintsObjectiveLearningTest | Line |
| Auto-generated constructor stub | 40 |
| org.sat4j.pb.constraints.CompetPBResMinHTMixedConstraintsObjectiveLearningTest | Line |
| Auto-generated constructor stub | 40 |
| org.sat4j.pb.constraints.CounterPBConstrWithClauseCardConstrLearningTest | Line |
| Auto-generated constructor stub | 42 |
| org.sat4j.pb.constraints.PBCPMixedConstraintsCautiousTest | Line |
| Auto-generated constructor stub | 40 |
| org.sat4j.pb.constraints.PBCPMixedConstraintsResCPTest | Line |
| Auto-generated constructor stub | 40 |
| org.sat4j.pb.constraints.PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest | Line |
| Auto-generated constructor stub | 40 |
| org.sat4j.pb.constraints.pb.ConflictMapCardinality | Line |
| Auto-generated constructor stub | 36 |
| org.sat4j.pb.constraints.pb.IConflict | Line |
| --No comment-- | 46 |
| org.sat4j.pb.constraints.pb.OriginalBinaryClausePB | Line |
| Auto-generated constructor stub | 44 |
| org.sat4j.pb.core.PBSolver | Line |
| use direct encoding to int/long | 109 |
| use direct encoding to int/long | 128 |
| use direct encoding to int/long | 147 |
| org.sat4j.pb.core.PBSolverResCP | Line |
| Auto-generated constructor stub | 68 |
