Clover Coverage Report

Coverage timestamp: mer. juin 27 2007 07:27:16 CEST

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.minisat.learning:
Stmts:	51	LOC:	488	Total cmp:	5	Stmts/Method:	1,46
Branches:	10	NCLOC:	196	Cmp density:	0,76	Methods/Class:	5
Methods:	35	Files:	7	Avg method cmp:	1,11
Classes:	7

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.minisat.learning org.sat4j.minisat.learning

7.0 7

1.1142857 1,11

0.71875 71,9%

0.71875

Class

Methods

Average Method Complexity

TOTAL Coverage

NoLearningNoHeuristics NoLearningNoHeuristics

1.0 1

0.0 0%

0.0

FixedLengthLearning FixedLengthLearning

6.0 6

1.0 1

0.33333334 33,3%

0.33333334

MiniSATLearning MiniSATLearning

4.0 4

1.0 1

0.5 50%

0.5

ActiveLearning ActiveLearning

8.0 8

1.25 1,25

0.76 76%

0.76

LimitedLearning LimitedLearning

11.0 11

1.0909091 1,09

0.8181818 81,8%

0.8181818

AbstractLearning AbstractLearning

4.0 4

1.25 1,25

0.9230769 92,3%

0.9230769

NoLearningButHeuristics NoLearningButHeuristics

1.0 1

1.0 100%

1.0