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 3
FIXME 0
TODO 10

Each tag is detailed below:

DLB

Number of occurrences found in the code: 3

org.sat4j.pb.PseudoOptDecorator Line
findbugs ok 96
org.sat4j.pb.constraints.pb.ConflictMap Line
Findbugs warning ok 202
org.sat4j.pb.constraints.pb.MinWatchPb Line
assert maxCoef!=0; 463

TODO

Number of occurrences found in the code: 10

org.sat4j.pb.LanceurPseudo2007Eclipse Line
Auto-generated constructor stub 48
org.sat4j.pb.OPBStringSolver Line
Auto-generated method stub 138
Auto-generated method stub 146
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.HTClausePB Line
Auto-generated constructor stub 50
org.sat4j.pb.constraints.pb.IConflict Line
--No comment-- 44
org.sat4j.pb.reader.OPBReader2005 Line
Auto-generated catch block 540