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 6
FIXME 0
TODO 18

Each tag is detailed below:

DLB

Number of occurrences found in the code: 6

org.sat4j.pb.PseudoOptDecorator Line
findbugs ok 160
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 201
org.sat4j.pb.constraints.pb.MinWatchPb Line
assert maxCoef!=0; 353

TODO

Number of occurrences found in the code: 18

org.sat4j.pb.OPBStringSolver Line
Auto-generated method stub 160
Auto-generated method stub 172
org.sat4j.pb.UserFriendlyPBStringSolver Line
Auto-generated method stub 188
Auto-generated method stub 200
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.PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest Line
Auto-generated constructor stub 38
org.sat4j.pb.constraints.pb.ConflictMapCardinality Line
Auto-generated constructor stub 35
org.sat4j.pb.constraints.pb.IConflict Line
--No comment-- 44
org.sat4j.pb.constraints.pb.OriginalBinaryClausePB Line
Auto-generated constructor stub 42