Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
file stats: LOC: 137   Methods: 8
NCLOC: 57   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
SearchParams.java - 45,5% 62,5% 50%
coverage coverage
 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  1926 public SearchParams() {
 46  1926 this(0.95, 0.999, 1.5, 1.1, 0.5, 100);
 47    }
 48   
 49  105 public SearchParams(int conflictBound) {
 50  105 this(0.95, 0.999, 1.5, 1.1, 0.5, conflictBound);
 51    }
 52   
 53  0 public SearchParams(double initLearntbound, int conflictBound) {
 54  0 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  2031 public SearchParams(double d, double e, double f, double g, double h, int i) {
 79  2031 varDecay = d;
 80  2031 claDecay = e;
 81  2031 conflictBoundIncFactor = f;
 82  2031 learntBoundIncFactor = g;
 83  2031 initLearntBoundConstraintFactor = h;
 84  2031 initConflictBound = i;
 85    }
 86   
 87    /**
 88    * @return la valeur de clause decay
 89    */
 90  4378 public double getClaDecay() {
 91  4378 return claDecay;
 92    }
 93   
 94    /**
 95    * @return la valeur de var decay
 96    */
 97  4378 public double getVarDecay() {
 98  4378 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("=");
 124  0 try {
 125  0 stb.append(field.get(this));
 126    } catch (IllegalArgumentException e) {
 127    // TODO Bloc catch auto-généré
 128  0 e.printStackTrace();
 129    } catch (IllegalAccessException e) {
 130    // TODO Bloc catch auto-généré
 131  0 e.printStackTrace();
 132    }
 133  0 stb.append(" ");
 134    }
 135  0 return stb.toString();
 136    }
 137    }
 
CloverReport generated by Clover Code Coverage v1.3.9
jeu. sept. 29 2005 23:57:47 CEST.		   Open Source License registered to the OpenSAT Project. This license of Clover is provided to support the development of OpenSAT only.