|
|||||||||||||||||||||||||
Package | Conditionals | Statements | Methods | TOTAL | |||||||||||||||||||||
org.sat4j.minisat.learning | 100% | 92,1% | 75% | 86,5% |
|
||||||||||||||||||||
Classes | Conditionals | Statements | Methods | TOTAL | |||||||||||||||||||||
NoLearningNoHeuristics | - | - | 0% | 0% |
|
||||||||||||||||||||
FixedLengthLearning | - | 66,7% | 66,7% | 66,7% |
|
||||||||||||||||||||
AbstractLearning | 100% | 100% | 50% | 80% |
|
||||||||||||||||||||
ActiveLearning | 100% | 88,9% | 80% | 88,9% |
|
||||||||||||||||||||
LimitedLearning | 100% | 94,4% | 88,9% | 93,1% |
|
||||||||||||||||||||
MiniSATLearning | - | 100% | 100% | 100% |
|
||||||||||||||||||||
NoLearningButHeuristics | - | 100% | 100% | 100% |
|
||||||||||||||||||||
|