Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.minisat.orders:
Stmts:	197		LOC:	976		Total cmp:	45		Stmts/Method:	3,28
Branches:	110		NCLOC:	471		Cmp density:	0,53		Methods/Class:	7,5
Methods:	60		Files:	8		Avg method cmp:	1,73
Classes:	8

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.minisat.orders org.sat4j.minisat.orders

8.0 8

1.7333333 1,73

0.6893733 68,9%

0.6893733

Class

Methods

Average Method Complexity

TOTAL Coverage

ValuedLit ValuedLit

5.0 5

1.8 1,8

0.33333334 33,3%

0.33333334

VarOrderHeapObjective VarOrderHeapObjective

4.0 4

2.25 2,25

0.38235295 38,2%

0.38235295

VarOrder VarOrder

17.0 17

1.7647059 1,76

0.6722689 67,2%

0.6722689

VarOrderHeap VarOrderHeap

17.0 17

1.6470588 1,65

0.71590906 71,6%

0.71590906

VarOrderHeapRsat VarOrderHeapRsat

3.0 3

1.3333334 1,33

0.8181818 81,8%

0.8181818

PureOrder PureOrder

6.0 6

1.8333334 1,83

0.84615386 84,6%

0.84615386

MyOrder MyOrder

3.0 3

1.6666666 1,67

0.90909094 90,9%

0.90909094

JWOrder JWOrder

5.0 5

1.6 1,6

0.925 92,5%

0.925