Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
6   67   1   1,5
0   24   0,67   4
4     1  
1    
 
  MiniSATLearning       Line # 38 6 1 50% 0.5
 
  (150)
 
1    /*
2    * SAT4J: a SATisfiability library for Java Copyright (C) 2004-2006 Daniel Le Berre
3    *
4    * Based on the original minisat specification from:
5    *
6    * An extensible SAT solver. Niklas E?n and Niklas S?rensson. Proceedings of the
7    * Sixth International Conference on Theory and Applications of Satisfiability
8    * Testing, LNCS 2919, pp 502-518, 2003.
9    *
10    * This library is free software; you can redistribute it and/or modify it under
11    * the terms of the GNU Lesser General Public License as published by the Free
12    * Software Foundation; either version 2.1 of the License, or (at your option)
13    * any later version.
14    *
15    * This library is distributed in the hope that it will be useful, but WITHOUT
16    * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
17    * FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
18    * details.
19    *
20    * You should have received a copy of the GNU Lesser General Public License
21    * along with this library; if not, write to the Free Software Foundation, Inc.,
22    * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
23    *
24    */
25   
26    package org.sat4j.minisat.learning;
27   
28    import org.sat4j.minisat.core.Constr;
29    import org.sat4j.minisat.core.DataStructureFactory;
30    import org.sat4j.minisat.core.ILits;
31    import org.sat4j.minisat.core.Solver;
32   
33    /**
34    * MiniSAT learning scheme.
35    *
36    * @author leberre
37    */
 
38    public class MiniSATLearning<L extends ILits> extends AbstractLearning<L> {
39    private static final long serialVersionUID = 1L;
40   
41    private DataStructureFactory<L> dsf;
42   
 
43  2412 toggle public void setDataStructureFactory(DataStructureFactory<L> dsf) {
44  2412 this.dsf = dsf;
45    }
46   
 
47  0 toggle @Override
48    public void setSolver(Solver<L> s) {
49  0 super.setSolver(s);
50  0 this.dsf = s.getDSFactory();
51    }
52   
 
53  6442193 toggle public void learns(Constr constr) {
54    // va contenir une nouvelle clause ou null si la clause est unitaire
55  6442193 claBumpActivity(constr);
56  6442193 dsf.learnConstraint(constr);
57    }
58   
59    /* (non-Javadoc)
60    * @see java.lang.Object#toString()
61    */
 
62  0 toggle @Override
63    public String toString() {
64  0 return "Learn all clauses as in MiniSAT";
65    }
66   
67    }