Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

Statistics for package org.sat4j.reader.csp:
Stmts:	224	LOC:	1 392	Total cmp:	50	Stmts/Method:	2,8
Branches:	94	NCLOC:	641	Cmp density:	0,58	Methods/Class:	4
Methods:	80	Files:	20	Avg method cmp:	1,61
Classes:	20

Package

Files

Average Method Complexity

TOTAL Coverage

org.sat4j.reader.csp org.sat4j.reader.csp

20.0 20

1.6125 1,61

0.047738694 4,8%

0.047738694

Class

Methods

Average Method Complexity

TOTAL Coverage

AllDiff AllDiff

1.0 1

6.0 6

0.0 0%

0.0

BessiereSupports BessiereSupports

2.0 2

1.0 1

0.0 0%

0.0

BinarySupportEncoding BinarySupportEncoding

8.0 8

1.5 1,5

0.0 0%

0.0

Constant Constant

5.0 5

1.0 1

0.0 0%

0.0

DirectEncoding DirectEncoding

6.0 6

1.1666666 1,17

0.0 0%

0.0

EnumeratedDomain EnumeratedDomain

8.0 8

1.375 1,38

0.0 0%

0.0

GeneralizedSupportEncoding GeneralizedSupportEncoding

7.0 7

2.142857 2,14

0.0 0%

0.0

GentSupports GentSupports

2.0 2

1.5 1,5

0.0 0%

0.0

Nogoods Nogoods

4.0 4

1.5 1,5

0.0 0%

0.0

Predicate Predicate

7.0 7

2.4285715 2,43

0.0 0%

0.0

SingletonDomain SingletonDomain

8.0 8

1.375 1,38

0.0 0%

0.0

Supports Supports

6.0 6

2.3333333 2,33

0.0 0%

0.0

Var Var

6.0 6

1.5 1,5

0.0 0%

0.0

WalshSupports WalshSupports

2.0 2

1.0 1

0.0 0%

0.0

RangeDomain RangeDomain

8.0 8

1.125 1,12

0.7916667 79,2%

0.7916667