Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
../../../../../../img/srcFileCovDistChart10.png 0% of files have more coverage
23   72   5   4.6
0   41   0.22   5
5     1  
1    
 
  SimpleProofFinderPlugin       Line # 29 23 5 92.9% 0.9285714
 
  (3)
 
1    /* This file is part of the project "Hilbert II" - http://www.qedeq.org
2    *
3    * Copyright 2000-2013, Michael Meyling <mime@qedeq.org>.
4    *
5    * "Hilbert II" is free software; you can redistribute
6    * it and/or modify it under the terms of the GNU General Public
7    * License as published by the Free Software Foundation; either
8    * version 2 of the License, or (at your option) any later version.
9    *
10    * This program is distributed in the hope that it will be useful,
11    * but WITHOUT ANY WARRANTY; without even the implied warranty of
12    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13    * GNU General Public License for more details.
14    */
15   
16    package org.qedeq.kernel.bo.service.logic;
17   
18    import org.qedeq.base.io.Parameters;
19    import org.qedeq.kernel.bo.module.KernelQedeqBo;
20    import org.qedeq.kernel.bo.module.PluginBo;
21    import org.qedeq.kernel.bo.module.PluginExecutor;
22   
23   
24    /**
25    * Finds primitive formal proofs.
26    *
27    * @author Michael Meyling
28    */
 
29    public final class SimpleProofFinderPlugin implements PluginBo {
30   
31    /** This class. */
32    private static final Class CLASS = SimpleProofFinderPlugin.class;
33   
 
34  10399 toggle public String getServiceId() {
35  10399 return CLASS.getName();
36    }
37   
 
38  6 toggle public String getServiceAction() {
39  6 return "Find Proofs";
40    }
41   
 
42  0 toggle public String getServiceDescription() {
43  0 return "finds simple formal proofs and add them to module [EXPERIMENTAL]";
44    }
45   
 
46  3 toggle public PluginExecutor createExecutor(final KernelQedeqBo qedeq, final Parameters parameters) {
47  3 return new SimpleProofFinderExecutor(this, qedeq, parameters);
48    }
49   
 
50  471 toggle public void setDefaultValuesForEmptyPluginParameters(final Parameters parameters) {
51  471 parameters.setDefault("extraVars", 1);
52  471 parameters.setDefault("maximumProofLines", Integer.MAX_VALUE - 2);
53  471 parameters.setDefault("skipFormulas", "");
54  471 parameters.setDefault("propositionVariableWeight", 3);
55  471 parameters.setDefault("propositionVariableOrder", 1);
56  471 parameters.setDefault("partFormulaOrder", 2);
57  471 parameters.setDefault("partFormulaWeight", 1);
58  471 parameters.setDefault("disjunctionOrder", 3);
59  471 parameters.setDefault("disjunctionWeight", 3);
60  471 parameters.setDefault("implicationOrder", 4);
61  471 parameters.setDefault("implicationWeight", 1);
62  471 parameters.setDefault("negationOrder", 5);
63  471 parameters.setDefault("negationWeight", 1);
64  471 parameters.setDefault("conjunctionOrder", 6);
65  471 parameters.setDefault("conjunctionWeight", 1);
66  471 parameters.setDefault("equivalenceOrder", 7);
67  471 parameters.setDefault("equivalenceWeight", 1);
68  471 parameters.setDefault("logFrequence", 1000);
69  471 parameters.setDefault("noSave", false);
70    }
71   
72    }
 
CloverReport generated by Clover Code Coverage v3.1.10
Fri May 24 2013 13:47:32 UTC.		   Clover: Open Source License registered to qedeq.org .