Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
7   167   4   1.75
0   110   0.57   4
4     1  
1    
 
  CalculateTruthThreeModelTest       Line # 27 7 4 100% 1.0
 
  (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.logic.model;
17   
18    import org.qedeq.kernel.se.base.list.Element;
19    import org.qedeq.kernel.xml.parser.BasicParser;
20   
21   
22    /**
23    * Testing the truth calculation with default model.
24    *
25    * @author Michael Meyling
26    */
 
27    public class CalculateTruthThreeModelTest extends CalculateTruthTestCase {
28   
29    /**
30    * Constructor.
31    */
 
32  47 toggle public CalculateTruthThreeModelTest() {
33  47 super(new ThreeModel());
34    }
35   
36    /**
37    * Function: isTautology(Element)
38    * Type: false (in this model)
39    * Data: (y \in {x | \phi(x)} <-> (isSet(y) n \phi(y))
40    *
41    * @throws Exception Test failed.
42    */
 
43  1 toggle public void testTautology44() throws Exception {
44  1 final Element ele = BasicParser.createElement(
45    " <EQUI>\n"
46    + " <PREDCON ref=\"in\">\n"
47    + " <VAR id=\"y\"/>\n"
48    + " <CLASS>\n"
49    + " <VAR id=\"x\"/>\n"
50    + " <PREDVAR id=\"\\phi\">\n"
51    + " <VAR id=\"x\"/>\n"
52    + " </PREDVAR>\n"
53    + " </CLASS>\n"
54    + " </PREDCON>\n"
55    + " <AND>\n"
56    + " <PREDCON ref=\"isSet\">\n"
57    + " <VAR id=\"y\"/>\n"
58    + " </PREDCON>\n"
59    + " <PREDVAR id=\"\\phi\">\n"
60    + " <VAR id=\"y\"/>\n"
61    + " </PREDVAR>\n"
62    + " </AND>\n"
63    + " </EQUI>\n"
64    );
65    // System.out.println(ele.toString());
66  1 assertFalse(isTautology(ele));
67    }
68   
69    /**
70    * Function: isTautology(Element)
71    * Type: false (in this model)
72    * Data: x <= y <-> x n C(y) = 0
73    *
74    * @throws Exception Test failed.
75    */
 
76  1 toggle public void testTautology46() throws Exception {
77  1 final Element ele = BasicParser.createElement(
78    " <EQUI>\n"
79    + " <PREDCON ref=\"subclass\">\n"
80    + " <VAR id=\"x\" />\n"
81    + " <VAR id=\"y\" />\n"
82    + " </PREDCON>\n"
83    + " <PREDCON ref=\"l.equal\">\n"
84    + " <FUNCON ref=\"intersection\">\n"
85    + " <VAR id=\"x\" />\n"
86    + " <FUNCON ref=\"complement\">\n"
87    + " <VAR id=\"y\" />\n"
88    + " </FUNCON>\n"
89    + " </FUNCON>\n"
90    + " <FUNCON ref=\"emptySet\" />\n"
91    + " </PREDCON>\n"
92    + " </EQUI>\n"
93    );
94    // System.out.println(ele.toString());
95  1 assertFalse(isTautology(ele));
96    }
97   
98    /**
99    * Function: isTautology(Element)
100    * Type: negative (in this model)
101    * Data: see below
102    *
103    * @throws Exception Test failed.
104    */
 
105  1 toggle public void testTautology47() throws Exception {
106  1 final Element ele = BasicParser.createElement(
107    "<AND>\n"
108    + " <EQUI>\n"
109    + " <PREDCON ref=\"subclass\">\n"
110    + " <VAR id=\"x\" />\n"
111    + " <VAR id=\"y\" />\n"
112    + " </PREDCON>\n"
113    + " <PREDCON ref=\"l.equal\">\n"
114    + " <FUNCON ref=\"union\">\n"
115    + " <FUNCON ref=\"complement\">\n"
116    + " <VAR id=\"x\" />\n"
117    + " </FUNCON>\n"
118    + " <VAR id=\"y\" />\n"
119    + " </FUNCON>\n"
120    + " <FUNCON ref=\"universalClass\" />\n"
121    + " </PREDCON>\n"
122    + " </EQUI>\n"
123    + " \n"
124    + " <EQUI>\n"
125    + " <PREDCON ref=\"subclass\">\n"
126    + " <VAR id=\"x\" />\n"
127    + " <FUNCON ref=\"complement\">\n"
128    + " <VAR id=\"y\" />\n"
129    + " </FUNCON>\n"
130    + " </PREDCON>\n"
131    + " <PREDCON ref=\"l.equal\">\n"
132    + " <FUNCON ref=\"intersection\">\n"
133    + " <VAR id=\"x\" />\n"
134    + " <VAR id=\"y\" />\n"
135    + " </FUNCON>\n"
136    + " <FUNCON ref=\"emptySet\" />\n"
137    + " </PREDCON>\n"
138    + " </EQUI>\n"
139    + " \n"
140    + " <EQUI>\n"
141    + " <PREDCON ref=\"subclass\">\n"
142    + " <FUNCON ref=\"intersection\">\n"
143    + " <VAR id=\"x\" />\n"
144    + " <VAR id=\"y\" />\n"
145    + " </FUNCON>\n"
146    + " <VAR id=\"z\" />\n"
147    + " </PREDCON>\n"
148    + " <PREDCON ref=\"subclass\">\n"
149    + " <VAR id=\"x\" />\n"
150    + " <FUNCON ref=\"union\">\n"
151    + " <FUNCON ref=\"complement\">\n"
152    + " <VAR id=\"y\" />\n"
153    + " </FUNCON>\n"
154    + " <VAR id=\"z\" />\n"
155    + " </FUNCON>\n"
156    + " </PREDCON>\n"
157    + " </EQUI> \n"
158    + " \n"
159    + "</AND>\n"
160    );
161    // System.out.println(ele.toString());
162  1 assertFalse(isTautology(ele));
163    }
164   
165   
166   
167    }
 
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 .