Clover coverage report -

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

FRAMES NO FRAMES

file stats:	LOC:	104		Methods:	2
	NCLOC:	54		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

SolverStats.java

50%

50%

1		/*
2		* SAT4J: a SATisfiability library for Java
3		* Copyright (C) 2004 Daniel Le Berre
4		*
5		* Based on the original minisat specification from:
6		*
7		* An extensible SAT solver. Niklas Eï¿œn and Niklas Sï¿œrensson.
8		* Proceedings of the Sixth International Conference on Theory
9		* and Applications of Satisfiability Testing, LNCS 2919,
10		* pp 502-518, 2003.
11		*
12		* This library is free software; you can redistribute it and/or
13		* modify it under the terms of the GNU Lesser General Public
14		* License as published by the Free Software Foundation; either
15		* version 2.1 of the License, or (at your option) any later version.
16		*
17		* This library is distributed in the hope that it will be useful,
18		* but WITHOUT ANY WARRANTY; without even the implied warranty of
19		* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
20		* Lesser General Public License for more details.
21		*
22		* You should have received a copy of the GNU Lesser General Public
23		* License along with this library; if not, write to the Free Software
24		* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
25		*
26		*/
27
28		package org.sat4j.minisat.core;
29
30		import java.io.PrintStream;
31		import java.io.Serializable;
32
33		/*
34		* Created on 15 janv. 2004 To change the template for this generated file go to
35		* Window>Preferences>Java>Code Generation>Code and Comments
36		*/
37
38		public class SolverStats implements Serializable {
39		private static final long serialVersionUID = 1L;
40
41		public int starts;
42
43		public long decisions;
44
45		public long propagations;
46
47		public long inspects;
48
49		public long conflicts;
50
51		public long learnedliterals;
52
53		public long learnedbinaryclauses;
54
55		public long learnedternaryclauses;
56
57		public long learnedclauses;
58
59		public long rootSimplifications;
60
61		public long reducedliterals;
62
63		public long changedreason;
64
65		public int reduceddb;
66
67	2018	public void reset() {
68	2018	starts = 0;
69	2018	decisions = 0;
70	2018	propagations = 0;
71	2018	inspects = 0;
72	2018	conflicts = 0;
73	2018	learnedliterals = 0;
74	2018	learnedclauses = 0;
75	2018	learnedbinaryclauses = 0;
76	2018	learnedternaryclauses = 0;
77	2018	rootSimplifications = 0;
78	2018	reducedliterals=0;
79	2018	changedreason=0;
80	2018	reduceddb=0;
81		}
82
83	0	public void printStat(PrintStream out, String prefix) {
84	0	out.println(prefix + "starts\t\t: " + starts);
85	0	out.println(prefix + "conflicts\t\t: " + conflicts);
86	0	out.println(prefix + "decisions\t\t: " + decisions);
87	0	out.println(prefix + "propagations\t\t: " + propagations);
88	0	out.println(prefix + "inspects\t\t: " + inspects);
89	0	out.println(prefix + "learnt literals\t: " + learnedliterals);
90	0	out.println(prefix + "learnt binary clauses\t: "
91		+ learnedbinaryclauses);
92	0	out.println(prefix + "learnt ternary clauses\t: "
93		+ learnedternaryclauses);
94	0	out.println(prefix + "learnt clauses\t: " + learnedclauses);
95	0	out.println(prefix + "root simplifications\t: "
96		+ rootSimplifications);
97	0	out.println(prefix + "removed literals (reason simplification)\t: "
98		+ reducedliterals);
99	0	out.println(prefix + "reason swapping (by a shorter reason)\t: "
100		+ changedreason);
101	0	out.println(prefix + "Calls to reduceDB\t: "
102		+ reduceddb);
103		}
104		}