1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
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 |
|
|
24 |
|
|
25 |
|
@author |
26 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (11) |
Complexity: 4 |
Complexity Density: 0.57 |
|
27 |
|
public class CalculateTruthThreeModelTest extends CalculateTruthTestCase { |
28 |
|
|
29 |
|
|
30 |
|
|
31 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
32 |
47
|
public CalculateTruthThreeModelTest() {... |
33 |
47
|
super(new ThreeModel()); |
34 |
|
} |
35 |
|
|
36 |
|
|
37 |
|
|
38 |
|
|
39 |
|
|
40 |
|
|
41 |
|
@throws |
42 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (2) |
Complexity: 1 |
Complexity Density: 0.5 |
1
PASS
|
|
43 |
1
|
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 |
|
|
66 |
1
|
assertFalse(isTautology(ele)); |
67 |
|
} |
68 |
|
|
69 |
|
|
70 |
|
|
71 |
|
|
72 |
|
|
73 |
|
|
74 |
|
@throws |
75 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (2) |
Complexity: 1 |
Complexity Density: 0.5 |
1
PASS
|
|
76 |
1
|
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 |
|
|
95 |
1
|
assertFalse(isTautology(ele)); |
96 |
|
} |
97 |
|
|
98 |
|
|
99 |
|
|
100 |
|
|
101 |
|
|
102 |
|
|
103 |
|
@throws |
104 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (2) |
Complexity: 1 |
Complexity Density: 0.5 |
1
PASS
|
|
105 |
1
|
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 |
|
|
162 |
1
|
assertFalse(isTautology(ele)); |
163 |
|
} |
164 |
|
|
165 |
|
|
166 |
|
|
167 |
|
} |