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 ClassTotal number of occurrencesTag strings used by tag class
@todo0@todo
DLB9DLB
FIXME0FIXME
TODO43TODO

Each tag is detailed below:

DLB

Number of occurrences found in the code: 9

org.sat4j.pb.PseudoOptDecoratorLine
findbugs ok184
org.sat4j.pb.XplainTestsLine
FIXED24
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.ConflictMapLine
Findbugs warning ok204
org.sat4j.pb.constraints.pb.MinWatchPbLine
assert maxCoef!=0;409
org.sat4j.pb.constraints.pb.MinWatchPbLongLine
assert maxCoef!=0;410
org.sat4j.pb.constraints.pb.MinWatchPbLongCPLine
assert maxCoef!=0;411
org.sat4j.pb.constraints.pb.MinWatchPbLongLimitLine
assert maxCoef!=0;434

TODO

Number of occurrences found in the code: 43

org.sat4j.pb.OPBStringSolverLine
Auto-generated method stub198
Auto-generated method stub210
org.sat4j.pb.PseudoBitsAdderDecoratorLine
Auto-generated catch block162
Auto-generated catch block165
Auto-generated catch block168
org.sat4j.pb.UserFriendlyPBStringSolverLine
Auto-generated method stub201
Auto-generated method stub213
org.sat4j.pb.XplainTestsLine
We would like to use SolverFactory.newEclipseP2(); currently this throws a class cast exception in the DependencyHelper22
would like all conflicting elements This throws an ArrayIndexOutOfBounds190
why throws an NPE197
Change this logic to actually use the tree of dependencies201
Fix this logic to actually investigate the tree returned221
org.sat4j.pb.constraints.CompetMinPBResLongWLMixedConstraintsObjectiveLearningTestLine
Auto-generated constructor stub38
org.sat4j.pb.constraints.CompetPBResHTMixedConstraintsObjectiveLearningTestLine
Auto-generated constructor stub38
org.sat4j.pb.constraints.CompetPBResLongHTMixedConstraintsObjectiveLearningTestLine
Auto-generated constructor stub38
org.sat4j.pb.constraints.CompetPBResLongWLMixedConstraintsObjectiveLearningTestLine
Auto-generated constructor stub38
org.sat4j.pb.constraints.CompetPBResMinHTMixedConstraintsObjectiveLearningTestLine
Auto-generated constructor stub38
org.sat4j.pb.constraints.CounterPBConstrWithClauseCardConstrLearningTestLine
Auto-generated constructor stub40
org.sat4j.pb.constraints.PBCPMixedConstraintsCautiousTestLine
Auto-generated constructor stub11
org.sat4j.pb.constraints.PBCPMixedConstraintsResCPTestLine
Auto-generated constructor stub11
org.sat4j.pb.constraints.PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTestLine
Auto-generated constructor stub38
org.sat4j.pb.constraints.pb.ConflictMapCardinalityLine
Auto-generated constructor stub34
org.sat4j.pb.constraints.pb.IConflictLine
--No comment--44
org.sat4j.pb.constraints.pb.OriginalBinaryClausePBLine
Auto-generated constructor stub42
org.sat4j.pb.constraints.pb.WatchPbLongLine
Auto-generated method stub566
Auto-generated method stub571
Auto-generated method stub576
org.sat4j.pb.core.PBSolverLine
use direct encoding to int/long97
use direct encoding to int/long116
use direct encoding to int/long135
org.sat4j.pb.core.PBSolverResCPLine
Auto-generated constructor stub66
org.sat4j.pb.tools.ConflictTracingLine
Auto-generated method stub61
Auto-generated method stub66
Auto-generated method stub71
Auto-generated method stub76
Auto-generated method stub81
Auto-generated method stub86
Auto-generated method stub91
Auto-generated method stub96
Auto-generated method stub113
Auto-generated method stub118
Auto-generated method stub123
Auto-generated method stub128