Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.tools:
Stmts:	564	LOC:	2 189	Total cmp:	86	Stmts/Method:	4,62
Branches:	142	NCLOC:	1 104	Cmp density:	0,37	Methods/Class:	9,38
Methods:	122	Files:	13	Avg method cmp:	1,7
Classes:	13

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.tools org.sat4j.tools

13.0 13

1.6967213 1,7

0.15458937 15,5%

0.15458937

Class

Methods

Average Method Complexity

TOTAL Coverage

DimacsArrayReader DimacsArrayReader

5.0 5

1.4 1,4

0.0 0%

0.0

DimacsArrayToDimacsConverter DimacsArrayToDimacsConverter

5.0 5

1.8 1,8

0.0 0%

0.0

ExtendedDimacsArrayReader ExtendedDimacsArrayReader

13.0 13

2.3076923 2,31

0.0 0%

0.0

ExtendedDimacsArrayToDimacsConverter ExtendedDimacsArrayToDimacsConverter

13.0 13

2.3846154 2,38

0.0 0%

0.0

GateTranslator GateTranslator

13.0 13

1.6923077 1,69

0.0 0%

0.0

RemiUtils RemiUtils

2.0 2

2.5 2,5

0.0 0%

0.0

SolutionCounter SolutionCounter

2.0 2

3.0 3

0.0 0%

0.0

DimacsOutputSolver DimacsOutputSolver

29.0 29

1.3103448 1,31

0.30208334 30,2%

0.30208334

SolverDecorator SolverDecorator

28.0 28

1.0 1

0.32142857 32,1%

0.32142857

ModelIterator ModelIterator

5.0 5

1.8 1,8

0.53571427 53,6%

0.53571427

SingleSolutionDetector SingleSolutionDetector

3.0 3

1.6666666 1,67

0.8888889 88,9%

0.8888889

Minimal4InclusionModel Minimal4InclusionModel

2.0 2

4.5 4,5

0.8965517 89,7%

0.8965517

Minimal4CardinalityModel Minimal4CardinalityModel

2.0 2

4.0 4

0.9230769 92,3%

0.9230769