Clover coverage report -

Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST

FRAMES NO FRAMES

file stats:	LOC:	135		Methods:	8
	NCLOC:	57		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

SearchParams.java

50%

75%

56,7%

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.Serializable;
31		import java.lang.reflect.Field;
32
33		/*
34		* Created on 29 oct. 2003 To change the template for this generated file go to
35		* Window>Preferences>Java>Code Generation>Code and Comments
36		*/
37
38		/**
39		* @author leberre Structure de donnï¿œes permettant de configurer le prouveur.
40		*/
41		public class SearchParams implements Serializable {
42
43		private static final long serialVersionUID = 1L;
44
45	1703	public SearchParams() {
46	1703	this(0.95, 0.999, 1.5, 1.1, 0.5, 100);
47		}
48
49	107	public SearchParams(int conflictBound) {
50	107	this(0.95, 0.999, 1.5, 1.1, 0.5, conflictBound);
51		}
52
53	696	public SearchParams(double initLearntbound, int conflictBound) {
54	696	this(0.95, 0.999, 1.5, 1.1, initLearntbound, conflictBound);
55		}
56
57	0	public SearchParams(double learntincfactor, double confincfactor,
58		double initLearntbound, int conflictBound) {
59	0	this(0.95, 0.999, learntincfactor, confincfactor, initLearntbound,
60		conflictBound);
61		}
62
63		/**
64		* @param d
65		* variable decay
66		* @param e
67		* clause decay
68		* @param f
69		* conflict bound increase factor
70		* @param g
71		* learnt bound increase factor
72		* @param h
73		* initial bound for learnt clauses as a factor of the number of
74		* constraints
75		* @param i
76		* initialConflictBound
77		*/
78	2506	public SearchParams(double d, double e, double f, double g, double h, int i) {
79	2506	varDecay = d;
80	2506	claDecay = e;
81	2506	conflictBoundIncFactor = f;
82	2506	learntBoundIncFactor = g;
83	2506	initLearntBoundConstraintFactor = h;
84	2506	initConflictBound = i;
85		}
86
87		/**
88		* @return la valeur de clause decay
89		*/
90	5124	public double getClaDecay() {
91	5124	return claDecay;
92		}
93
94		/**
95		* @return la valeur de var decay
96		*/
97	5124	public double getVarDecay() {
98	5124	return varDecay;
99		}
100
101		private double claDecay;
102
103		private double varDecay;
104
105		public double conflictBoundIncFactor;
106
107		public double learntBoundIncFactor;
108
109		public double initLearntBoundConstraintFactor;
110
111		public int initConflictBound;
112
113		/*
114		* (non-Javadoc)
115		*
116		* @see java.lang.Object#toString()
117		*/
118	0	@Override
119		public String toString() {
120	0	StringBuilder stb = new StringBuilder();
121	0	for (Field field : SearchParams.class.getFields()) {
122	0	stb.append(field.getName());
123	0	stb.append("="); //$NON-NLS-1$
124	0	try {
125	0	stb.append(field.get(this));
126		} catch (IllegalArgumentException e) {
127	0	e.printStackTrace();
128		} catch (IllegalAccessException e) {
129	0	e.printStackTrace();
130		}
131	0	stb.append(" "); //$NON-NLS-1$
132		}
133	0	return stb.toString();
134		}
135		}