Clover

Clover Coverage Report

Coverage timestamp: Sa Aug 2 2008 13:56:27 CEST

FRAMES NO FRAMES SHOW HELP

Statistics for package org.qedeq.kernel.bo.logic:
Stmts:	355		LOC:	1.171		Total cmp:	158		Stmts/Method:	8,88
Branches:	172		NCLOC:	663		Cmp density:	0,45		Methods/Class:	10
Methods:	40		Files:	4		Avg method cmp:	3,95
Classes:	4

Package

Files

Average Method Complexity

TOTAL Coverage

Cloud icon for org.qedeq.kernel.bo.logic

org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic

4.0 4

3.95 3,95

0.71428573 71,4%

0.71428573

Class

Methods

Average Method Complexity

TOTAL Coverage

EqualFormula EqualFormula

2.0 2

1.0 1

0.0 0%

0.0

EqualFormulaSet EqualFormulaSet

16.0 16

2.0625 2,06

0.0 0%

0.0

LogicalEquivalence LogicalEquivalence

2.0 2

4.5 4,5

0.0 0%

0.0

FormulaChecker FormulaChecker

20.0 20

5.7 5,7

0.9440559 94,4%

0.9440559