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:
Stmts:	193	LOC:	1 943	Total cmp:	30	Stmts/Method:	2,03
Branches:	66	NCLOC:	846	Cmp density:	0,64	Methods/Class:	3,8
Methods:	95	Files:	25	Avg method cmp:	1,31
Classes:	25

Package

Files

Average Method Complexity

TOTAL Coverage

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

25.0 25

1.3052632 1,31

0.75706214 75,7%

0.75706214

Class

Methods

Average Method Complexity

TOTAL Coverage

AllTests AllTests

1.0 1

0.0 0%

0.0

CounterPBConstrClauseImpliedWithClauseCardConstrLearning CounterPBConstrClauseImpliedWithClauseCardConstrLearning

2.0 2

1.0 1

0.0 0%

0.0

PBMinClauseCardConstrDataStructure PBMinClauseCardConstrDataStructure

3.0 3

1.0 1

0.0 0%

0.0

ClausalDataStructureWL ClausalDataStructureWL

3.0 3

1.3333334 1,33

0.18181819 18,2%

0.18181819

AbstractDataStructureFactory AbstractDataStructureFactory

11.0 11

1.0909091 1,09

0.61538464 61,5%

0.61538464

CardinalityDataStructure CardinalityDataStructure

3.0 3

1.0 1

0.6666667 66,7%

0.6666667

CardinalityDataStructureYanMax CardinalityDataStructureYanMax

3.0 3

1.0 1

0.6666667 66,7%

0.6666667

CardinalityDataStructureYanMin CardinalityDataStructureYanMin

3.0 3

1.0 1

0.6666667 66,7%

0.6666667

PBMaxClauseCardConstrDataStructure PBMaxClauseCardConstrDataStructure

3.0 3

1.0 1

0.6666667 66,7%

0.6666667

MixedDataStructureDanielCBWL MixedDataStructureDanielCBWL

1.0 1

2.0 2

0.71428573 71,4%

0.71428573

PBMaxDataStructure PBMaxDataStructure

4.0 4

1.0 1

0.75 75%

0.75

PBMinDataStructure PBMinDataStructure

4.0 4

1.0 1

0.75 75%

0.75

PuebloPBMinDataStructure PuebloPBMinDataStructure

4.0 4

1.0 1

0.75 75%

0.75

AbstractPBDataStructureFactory AbstractPBDataStructureFactory

7.0 7

1.1428572 1,14

0.7619048 76,2%

0.7619048

ClausalDataStructureCBWL ClausalDataStructureCBWL

3.0 3

1.3333334 1,33

0.8181818 81,8%

0.8181818

PuebloPBMinClauseCardConstrDataStructure PuebloPBMinClauseCardConstrDataStructure

7.0 7

1.0 1

0.85714287 85,7%

0.85714287

AbstractCardinalityDataStructure AbstractCardinalityDataStructure

4.0 4

2.5 2,5

0.8780488 87,8%

0.8780488

AbstractPBClauseCardConstrDataStructure AbstractPBClauseCardConstrDataStructure

5.0 5

2.6 2,6

0.8979592 89,8%

0.8979592

ClausalDataStructureCB ClausalDataStructureCB

5.0 5

1.2 1,2

1.0 100%

1.0

MixedDataStructureDaniel MixedDataStructureDaniel

4.0 4

1.25 1,25

1.0 100%

1.0

MixedDataStructureWithBinary MixedDataStructureWithBinary

4.0 4

1.75 1,75

1.0 100%

1.0

MixedDataStructureWithBinaryAndTernary MixedDataStructureWithBinaryAndTernary

4.0 4

2.25 2,25

1.0 100%

1.0

PBMaxCBClauseCardConstrDataStructure PBMaxCBClauseCardConstrDataStructure

3.0 3

1.0 1

1.0 100%

1.0

PBMaxClauseAtLeastConstrDataStructure PBMaxClauseAtLeastConstrDataStructure

2.0 2

1.0 1

1.0 100%

1.0

PuebloPBMinClauseAtLeastConstrDataStructure PuebloPBMinClauseAtLeastConstrDataStructure

2.0 2

1.0 1

1.0 100%

1.0