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.card:
Stmts:	332	LOC:	1 271	Total cmp:	106	Stmts/Method:	5,03
Branches:	192	NCLOC:	608	Cmp density:	0,52	Methods/Class:	22
Methods:	66	Files:	3	Avg method cmp:	2,59
Classes:	3

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.minisat.constraints.card org.sat4j.minisat.constraints.card

3.0 3

2.590909 2,59

0.59322035 59,3%

0.59322035

Class

Methods

Average Method Complexity

TOTAL Coverage

MaxWatchCard MaxWatchCard

22.0 22

2.5454545 2,55

0.48387095 48,4%

0.48387095

MinWatchCard MinWatchCard

25.0 25

3.04 3,04

0.62857145 62,9%

0.62857145

AtLeast AtLeast

19.0 19

2.0526316 2,05

0.67741936 67,7%

0.67741936