Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.minisat.constraints.pb:
Stmts:	909	LOC:	3 749	Total cmp:	274	Stmts/Method:	4,84
Branches:	632	NCLOC:	1 964	Cmp density:	0,51	Methods/Class:	8,95
Methods:	188	Files:	21	Avg method cmp:	2,45
Classes:	21

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.minisat.constraints.pb org.sat4j.minisat.constraints.pb

21.0 21

2.4521277 2,45

0.73221517 73,2%

0.73221517

Class

Methods

Average Method Complexity

TOTAL Coverage

ConflictMapCardinality ConflictMapCardinality

1.0 1

0.0 0%

0.0

PBSolverWithImpliedClause PBSolverWithImpliedClause

3.0 3

1.6666666 1,67

0.1 10%

0.1

MixableCBClausePB MixableCBClausePB

10.0 10

1.3 1,3

0.55263156 55,3%

0.55263156

MinWatchCardPB MinWatchCardPB

13.0 13

1.8461539 1,85

0.6 60%

0.6

AtLeastPB AtLeastPB

13.0 13

1.3076923 1,31

0.6041667 60,4%

0.6041667

WatchPb WatchPb

37.0 37

2.3243244 2,32

0.6062718 60,6%

0.6062718

WLClausePB WLClausePB

7.0 7

1.4285715 1,43

0.6333333 63,3%

0.6333333

ConflictMapMerging ConflictMapMerging

3.0 3

1.3333334 1,33

0.65217394 65,2%

0.65217394

PBSolverClause PBSolverClause

3.0 3

1.0 1

0.6666667 66,7%

0.6666667

PBSolverMerging PBSolverMerging

3.0 3

1.0 1

0.6666667 66,7%

0.6666667

MaxWatchPb MaxWatchPb

13.0 13

2.7692308 2,77

0.6971831 69,7%

0.6971831

PuebloMinWatchPb PuebloMinWatchPb

9.0 9

1.7777778 1,78

0.7241379 72,4%

0.7241379

PBSolver PBSolver

6.0 6

1.6666666 1,67

0.74242425 74,2%

0.74242425

MinWatchPb MinWatchPb

18.0 18

3.5 3,5

0.7582418 75,8%

0.7582418

MapPb MapPb

19.0 19

2.0526316 2,05

0.82312924 82,3%

0.82312924

ConflictMap ConflictMap

27.0 27

4.5925927 4,59

0.84917355 84,9%

0.84917355

ConflictMapClause ConflictMapClause

3.0 3

2.3333333 2,33

0.9310345 93,1%

0.9310345