Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.opt:
Stmts:	114	LOC:	644	Total cmp:	23	Stmts/Method:	2,33
Branches:	38	NCLOC:	337	Cmp density:	0,62	Methods/Class:	8,17
Methods:	49	Files:	6	Avg method cmp:	1,45
Classes:	6

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.opt org.sat4j.opt

6.0 6

1.4489796 1,45

0.0 0%

0.0

Class

Methods

Average Method Complexity

TOTAL Coverage

AbstractSelectorVariablesDecorator AbstractSelectorVariablesDecorator

6.0 6

1.5 1,5

0.0 0%

0.0

MaxSatDecorator MaxSatDecorator

7.0 7

1.5714285 1,57

0.0 0%

0.0

MinCostDecorator MinCostDecorator

12.0 12

1.3333334 1,33

0.0 0%

0.0

MinOneDecorator MinOneDecorator

8.0 8

1.625 1,62

0.0 0%

0.0

PseudoOptDecorator PseudoOptDecorator

8.0 8

1.125 1,12

0.0 0%

0.0

WeightedMaxSatDecorator WeightedMaxSatDecorator

8.0 8

1.625 1,62

0.0 0%

0.0