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
DLB2DLB
FIXME0FIXME
TODO65TODO

Each tag is detailed below:

DLB

Number of occurrences found in the code: 2

org.sat4j.sat.LanceurLine
Findbugs warning ok152
org.sat4j.sat.SolversLine
Findbugs warning ok320

TODO

Number of occurrences found in the code: 65

org.sat4j.sat.DetailedCommandPanelLine
get the real evaluation !!1089
regarder si le customized solver etait en mode optimisation ou pas1234
org.sat4j.sat.LaunchRemoteControlLine
Auto-generated method stub TelecommandeStrategy telecom = new TelecommandeStrategy();46
Auto-generated catch block } catch (ParseFormatException e) {123
Auto-generated catch block } catch (IOException e) {125
Auto-generated catch block } catch (ContradictionException e) { System.out.println("Unsatisfiable (trivial)!"); } catch (TimeoutException e) { System.out.println("Timeout, sorry!"); }127
org.sat4j.sat.RemoteControlStrategyLine
Auto-generated method stub250
org.sat4j.sat.visu.TraceCompositeLine
Auto-generated method stub58
Auto-generated method stub63
Auto-generated method stub68
Auto-generated method stub73
Auto-generated method stub78
Auto-generated method stub84
Auto-generated method stub89
Auto-generated method stub94
Auto-generated method stub99
Auto-generated method stub104
Auto-generated method stub109
Auto-generated method stub114
Auto-generated method stub119
Auto-generated method stub124
Auto-generated method stub129
Auto-generated method stub134
Auto-generated method stub139
Auto-generated method stub144
Auto-generated method stub149
Auto-generated method stub154
Auto-generated method stub159
Auto-generated method stub164
Auto-generated method stub169
Auto-generated method stub174
Auto-generated method stub179
Auto-generated method stub184
Auto-generated method stub189
Auto-generated method stub194
Auto-generated method stub199
Auto-generated method stub204
Auto-generated method stub209
Auto-generated method stub214
Auto-generated method stub219
Auto-generated method stub224
Auto-generated method stub229
Auto-generated method stub234
Auto-generated method stub239
Auto-generated method stub244
Auto-generated method stub249
Auto-generated method stub254
Auto-generated method stub259
Auto-generated method stub265
Auto-generated method stub270
Auto-generated method stub275
Auto-generated method stub280
Auto-generated method stub285
Auto-generated method stub290
Auto-generated method stub295
Auto-generated method stub300
Auto-generated method stub305
Auto-generated method stub310
Auto-generated method stub315
Auto-generated method stub320
Auto-generated method stub325
Auto-generated method stub330
Auto-generated method stub335
Auto-generated method stub340
Auto-generated method stub345