Clover coverage report -

Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST

FRAMES NO FRAMES

file stats:	LOC:	50		Methods:	9
	NCLOC:	21		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

NullSearchListener.java

88,9%

88,9%

1		package org.sat4j.minisat.core;
2
3		final class NullSearchListener implements SearchListener {
4
5	146830396	public void assuming(int p) {
6		// TODO Auto-generated method stub
7
8		}
9
10	2038839501	public void propagating(int p) {
11		// TODO Auto-generated method stub
12
13		}
14
15	146803591	public void backtracking(int p) {
16		// TODO Auto-generated method stub
17
18		}
19
20	93532095	public void adding(int p) {
21		// TODO Auto-generated method stub
22
23		}
24
25	93469633	public void learn(Constr clause) {
26		// TODO Auto-generated method stub
27
28		}
29
30	0	public void delete(int[] clause) {
31		// TODO Auto-generated method stub
32
33		}
34
35	93532943	public void conflictFound() {
36		// TODO Auto-generated method stub
37
38		}
39
40	1044	public void solutionFound() {
41		// TODO Auto-generated method stub
42
43		}
44
45	240366777	public void beginLoop() {
46		// TODO Auto-generated method stub
47
48		}
49
50		}