18 #include "test_cnormallogical.hpp"
32 void test_cnormallogical::setUp()
37 void test_cnormallogical::tearDown()
42 void test_cnormallogical::test_SetOfSetsSorter_operator()
55 pLogicalItem3->
setLeft(*pFraction1);
56 pLogicalItem3->
setRight(*pFraction2);
71 set1.insert(std::make_pair(pLogicalItem1,
true));
72 set2.insert(std::make_pair(pLogicalItem2,
true));
73 set3.insert(std::make_pair(pLogicalItem3,
true));
74 set4.insert(std::make_pair(pLogicalItem1,
false));
75 set5.insert(std::make_pair(pLogicalItem2,
false));
76 set6.insert(std::make_pair(pLogicalItem3,
false));
77 std::pair<CNormalLogical::ItemSet, bool> pair1 = std::make_pair(set1,
true);
78 std::pair<CNormalLogical::ItemSet, bool> pair2 = std::make_pair(set2,
true);
79 std::pair<CNormalLogical::ItemSet, bool> pair3 = std::make_pair(set3,
true);
80 std::pair<CNormalLogical::ItemSet, bool> pair4 = std::make_pair(set4,
true);
81 std::pair<CNormalLogical::ItemSet, bool> pair5 = std::make_pair(set5,
true);
82 std::pair<CNormalLogical::ItemSet, bool> pair6 = std::make_pair(set6,
true);
83 std::pair<CNormalLogical::ItemSet, bool> pair7 = std::make_pair(set1,
false);
84 std::pair<CNormalLogical::ItemSet, bool> pair8 = std::make_pair(set2,
false);
85 std::pair<CNormalLogical::ItemSet, bool> pair9 = std::make_pair(set3,
false);
86 std::pair<CNormalLogical::ItemSet, bool> pair10 = std::make_pair(set4,
false);
87 std::pair<CNormalLogical::ItemSet, bool> pair11 = std::make_pair(set5,
false);
88 std::pair<CNormalLogical::ItemSet, bool> pair12 = std::make_pair(set6,
false);
90 CPPUNIT_ASSERT(sorter(pair1, pair2) ==
true);
91 CPPUNIT_ASSERT(sorter(pair1, pair3) ==
true);
92 CPPUNIT_ASSERT(sorter(pair1, pair4) ==
true);
93 CPPUNIT_ASSERT(sorter(pair1, pair5) ==
true);
94 CPPUNIT_ASSERT(sorter(pair1, pair6) ==
true);
95 CPPUNIT_ASSERT(sorter(pair1, pair7) ==
true);
96 CPPUNIT_ASSERT(sorter(pair1, pair8) ==
true);
97 CPPUNIT_ASSERT(sorter(pair1, pair9) ==
true);
98 CPPUNIT_ASSERT(sorter(pair1, pair10) ==
true);
99 CPPUNIT_ASSERT(sorter(pair1, pair11) ==
true);
100 CPPUNIT_ASSERT(sorter(pair1, pair12) ==
true);
102 CPPUNIT_ASSERT(sorter(pair2, pair3) ==
true);
103 CPPUNIT_ASSERT(sorter(pair2, pair4) ==
true);
104 CPPUNIT_ASSERT(sorter(pair2, pair5) ==
true);
105 CPPUNIT_ASSERT(sorter(pair2, pair6) ==
true);
106 CPPUNIT_ASSERT(sorter(pair2, pair7) ==
true);
107 CPPUNIT_ASSERT(sorter(pair2, pair8) ==
true);
108 CPPUNIT_ASSERT(sorter(pair2, pair9) ==
true);
109 CPPUNIT_ASSERT(sorter(pair2, pair10) ==
true);
110 CPPUNIT_ASSERT(sorter(pair2, pair11) ==
true);
111 CPPUNIT_ASSERT(sorter(pair2, pair12) ==
true);
113 CPPUNIT_ASSERT(sorter(pair3, pair4) ==
true);
114 CPPUNIT_ASSERT(sorter(pair3, pair5) ==
true);
115 CPPUNIT_ASSERT(sorter(pair3, pair6) ==
true);
116 CPPUNIT_ASSERT(sorter(pair3, pair7) ==
true);
117 CPPUNIT_ASSERT(sorter(pair3, pair8) ==
true);
118 CPPUNIT_ASSERT(sorter(pair3, pair9) ==
true);
119 CPPUNIT_ASSERT(sorter(pair3, pair10) ==
true);
120 CPPUNIT_ASSERT(sorter(pair3, pair11) ==
true);
121 CPPUNIT_ASSERT(sorter(pair3, pair12) ==
true);
123 CPPUNIT_ASSERT(sorter(pair4, pair5) ==
true);
124 CPPUNIT_ASSERT(sorter(pair4, pair6) ==
true);
125 CPPUNIT_ASSERT(sorter(pair4, pair7) ==
true);
126 CPPUNIT_ASSERT(sorter(pair4, pair8) ==
true);
127 CPPUNIT_ASSERT(sorter(pair4, pair9) ==
true);
128 CPPUNIT_ASSERT(sorter(pair4, pair10) ==
true);
129 CPPUNIT_ASSERT(sorter(pair4, pair11) ==
true);
130 CPPUNIT_ASSERT(sorter(pair4, pair12) ==
true);
132 CPPUNIT_ASSERT(sorter(pair5, pair6) ==
true);
133 CPPUNIT_ASSERT(sorter(pair5, pair7) ==
true);
134 CPPUNIT_ASSERT(sorter(pair5, pair8) ==
true);
135 CPPUNIT_ASSERT(sorter(pair5, pair9) ==
true);
136 CPPUNIT_ASSERT(sorter(pair5, pair10) ==
true);
137 CPPUNIT_ASSERT(sorter(pair5, pair11) ==
true);
138 CPPUNIT_ASSERT(sorter(pair5, pair12) ==
true);
140 CPPUNIT_ASSERT(sorter(pair6, pair7) ==
true);
141 CPPUNIT_ASSERT(sorter(pair6, pair8) ==
true);
142 CPPUNIT_ASSERT(sorter(pair6, pair9) ==
true);
143 CPPUNIT_ASSERT(sorter(pair6, pair10) ==
true);
144 CPPUNIT_ASSERT(sorter(pair6, pair11) ==
true);
145 CPPUNIT_ASSERT(sorter(pair6, pair12) ==
true);
147 CPPUNIT_ASSERT(sorter(pair7, pair8) ==
true);
148 CPPUNIT_ASSERT(sorter(pair7, pair9) ==
true);
149 CPPUNIT_ASSERT(sorter(pair7, pair10) ==
true);
150 CPPUNIT_ASSERT(sorter(pair7, pair11) ==
true);
151 CPPUNIT_ASSERT(sorter(pair7, pair12) ==
true);
153 CPPUNIT_ASSERT(sorter(pair8, pair9) ==
true);
154 CPPUNIT_ASSERT(sorter(pair8, pair10) ==
true);
155 CPPUNIT_ASSERT(sorter(pair8, pair11) ==
true);
156 CPPUNIT_ASSERT(sorter(pair8, pair12) ==
true);
158 CPPUNIT_ASSERT(sorter(pair9, pair10) ==
true);
159 CPPUNIT_ASSERT(sorter(pair9, pair11) ==
true);
160 CPPUNIT_ASSERT(sorter(pair9, pair12) ==
true);
162 CPPUNIT_ASSERT(sorter(pair10, pair11) ==
true);
163 CPPUNIT_ASSERT(sorter(pair10, pair12) ==
true);
165 CPPUNIT_ASSERT(sorter(pair11, pair12) ==
true);
168 CPPUNIT_ASSERT(sorter(pair2, pair1) ==
false);
169 CPPUNIT_ASSERT(sorter(pair3, pair1) ==
false);
170 CPPUNIT_ASSERT(sorter(pair4, pair1) ==
false);
171 CPPUNIT_ASSERT(sorter(pair5, pair1) ==
false);
172 CPPUNIT_ASSERT(sorter(pair6, pair1) ==
false);
173 CPPUNIT_ASSERT(sorter(pair7, pair1) ==
false);
174 CPPUNIT_ASSERT(sorter(pair8, pair1) ==
false);
175 CPPUNIT_ASSERT(sorter(pair9, pair1) ==
false);
176 CPPUNIT_ASSERT(sorter(pair10, pair1) ==
false);
177 CPPUNIT_ASSERT(sorter(pair11, pair1) ==
false);
178 CPPUNIT_ASSERT(sorter(pair12, pair1) ==
false);
180 CPPUNIT_ASSERT(sorter(pair3, pair2) ==
false);
181 CPPUNIT_ASSERT(sorter(pair4, pair2) ==
false);
182 CPPUNIT_ASSERT(sorter(pair5, pair2) ==
false);
183 CPPUNIT_ASSERT(sorter(pair6, pair2) ==
false);
184 CPPUNIT_ASSERT(sorter(pair7, pair2) ==
false);
185 CPPUNIT_ASSERT(sorter(pair8, pair2) ==
false);
186 CPPUNIT_ASSERT(sorter(pair9, pair2) ==
false);
187 CPPUNIT_ASSERT(sorter(pair10, pair2) ==
false);
188 CPPUNIT_ASSERT(sorter(pair11, pair2) ==
false);
189 CPPUNIT_ASSERT(sorter(pair12, pair2) ==
false);
191 CPPUNIT_ASSERT(sorter(pair4, pair3) ==
false);
192 CPPUNIT_ASSERT(sorter(pair5, pair3) ==
false);
193 CPPUNIT_ASSERT(sorter(pair6, pair3) ==
false);
194 CPPUNIT_ASSERT(sorter(pair7, pair3) ==
false);
195 CPPUNIT_ASSERT(sorter(pair8, pair3) ==
false);
196 CPPUNIT_ASSERT(sorter(pair9, pair3) ==
false);
197 CPPUNIT_ASSERT(sorter(pair10, pair3) ==
false);
198 CPPUNIT_ASSERT(sorter(pair11, pair3) ==
false);
199 CPPUNIT_ASSERT(sorter(pair12, pair3) ==
false);
201 CPPUNIT_ASSERT(sorter(pair5, pair4) ==
false);
202 CPPUNIT_ASSERT(sorter(pair6, pair4) ==
false);
203 CPPUNIT_ASSERT(sorter(pair7, pair4) ==
false);
204 CPPUNIT_ASSERT(sorter(pair8, pair4) ==
false);
205 CPPUNIT_ASSERT(sorter(pair9, pair4) ==
false);
206 CPPUNIT_ASSERT(sorter(pair10, pair4) ==
false);
207 CPPUNIT_ASSERT(sorter(pair11, pair4) ==
false);
208 CPPUNIT_ASSERT(sorter(pair12, pair4) ==
false);
210 CPPUNIT_ASSERT(sorter(pair6, pair5) ==
false);
211 CPPUNIT_ASSERT(sorter(pair7, pair5) ==
false);
212 CPPUNIT_ASSERT(sorter(pair8, pair5) ==
false);
213 CPPUNIT_ASSERT(sorter(pair9, pair5) ==
false);
214 CPPUNIT_ASSERT(sorter(pair10, pair5) ==
false);
215 CPPUNIT_ASSERT(sorter(pair11, pair5) ==
false);
216 CPPUNIT_ASSERT(sorter(pair12, pair5) ==
false);
218 CPPUNIT_ASSERT(sorter(pair7, pair6) ==
false);
219 CPPUNIT_ASSERT(sorter(pair8, pair6) ==
false);
220 CPPUNIT_ASSERT(sorter(pair9, pair6) ==
false);
221 CPPUNIT_ASSERT(sorter(pair10, pair6) ==
false);
222 CPPUNIT_ASSERT(sorter(pair11, pair6) ==
false);
223 CPPUNIT_ASSERT(sorter(pair12, pair6) ==
false);
225 CPPUNIT_ASSERT(sorter(pair8, pair7) ==
false);
226 CPPUNIT_ASSERT(sorter(pair9, pair7) ==
false);
227 CPPUNIT_ASSERT(sorter(pair10, pair7) ==
false);
228 CPPUNIT_ASSERT(sorter(pair11, pair7) ==
false);
229 CPPUNIT_ASSERT(sorter(pair12, pair7) ==
false);
231 CPPUNIT_ASSERT(sorter(pair9, pair8) ==
false);
232 CPPUNIT_ASSERT(sorter(pair10, pair8) ==
false);
233 CPPUNIT_ASSERT(sorter(pair11, pair8) ==
false);
234 CPPUNIT_ASSERT(sorter(pair12, pair8) ==
false);
236 CPPUNIT_ASSERT(sorter(pair10, pair9) ==
false);
237 CPPUNIT_ASSERT(sorter(pair11, pair9) ==
false);
238 CPPUNIT_ASSERT(sorter(pair12, pair9) ==
false);
240 CPPUNIT_ASSERT(sorter(pair11, pair10) ==
false);
241 CPPUNIT_ASSERT(sorter(pair12, pair10) ==
false);
243 CPPUNIT_ASSERT(sorter(pair12, pair11) ==
false);
246 CPPUNIT_ASSERT(sorter(pair1, pair1) ==
false);
247 CPPUNIT_ASSERT(sorter(pair2, pair2) ==
false);
248 CPPUNIT_ASSERT(sorter(pair3, pair3) ==
false);
249 CPPUNIT_ASSERT(sorter(pair4, pair4) ==
false);
250 CPPUNIT_ASSERT(sorter(pair5, pair5) ==
false);
251 CPPUNIT_ASSERT(sorter(pair6, pair6) ==
false);
252 CPPUNIT_ASSERT(sorter(pair7, pair7) ==
false);
253 CPPUNIT_ASSERT(sorter(pair8, pair6) ==
false);
254 CPPUNIT_ASSERT(sorter(pair9, pair9) ==
false);
255 CPPUNIT_ASSERT(sorter(pair10, pair10) ==
false);
256 CPPUNIT_ASSERT(sorter(pair11, pair11) ==
false);
257 CPPUNIT_ASSERT(sorter(pair12, pair12) ==
false);
259 delete pLogicalItem1;
260 delete pLogicalItem2;
261 delete pLogicalItem3;
264 void test_cnormallogical::test_SetSorter_operator()
277 pLogicalItem3->
setLeft(*pFraction1);
278 pLogicalItem3->
setRight(*pFraction2);
281 std::pair<CNormalLogicalItem*, bool> pair1 = std::make_pair(pLogicalItem1,
false);
282 std::pair<CNormalLogicalItem*, bool> pair2 = std::make_pair(pLogicalItem1,
true);
283 std::pair<CNormalLogicalItem*, bool> pair3 = std::make_pair(pLogicalItem2,
false);
284 std::pair<CNormalLogicalItem*, bool> pair4 = std::make_pair(pLogicalItem2,
true);
285 std::pair<CNormalLogicalItem*, bool> pair5 = std::make_pair(pLogicalItem3,
false);
286 std::pair<CNormalLogicalItem*, bool> pair6 = std::make_pair(pLogicalItem3,
true);
288 CPPUNIT_ASSERT(sorter(pair1, pair3) ==
true);
289 CPPUNIT_ASSERT(sorter(pair3, pair5) ==
true);
290 CPPUNIT_ASSERT(sorter(pair1, pair5) ==
true);
292 CPPUNIT_ASSERT(sorter(pair2, pair4) ==
true);
293 CPPUNIT_ASSERT(sorter(pair4, pair6) ==
true);
294 CPPUNIT_ASSERT(sorter(pair2, pair6) ==
true);
296 CPPUNIT_ASSERT(sorter(pair2, pair1) ==
true);
297 CPPUNIT_ASSERT(sorter(pair4, pair1) ==
true);
298 CPPUNIT_ASSERT(sorter(pair6, pair1) ==
true);
300 CPPUNIT_ASSERT(sorter(pair2, pair3) ==
true);
301 CPPUNIT_ASSERT(sorter(pair4, pair3) ==
true);
302 CPPUNIT_ASSERT(sorter(pair6, pair3) ==
true);
304 CPPUNIT_ASSERT(sorter(pair2, pair5) ==
true);
305 CPPUNIT_ASSERT(sorter(pair4, pair5) ==
true);
306 CPPUNIT_ASSERT(sorter(pair6, pair5) ==
true);
309 CPPUNIT_ASSERT(sorter(pair3, pair1) ==
false);
310 CPPUNIT_ASSERT(sorter(pair5, pair3) ==
false);
311 CPPUNIT_ASSERT(sorter(pair5, pair1) ==
false);
313 CPPUNIT_ASSERT(sorter(pair4, pair2) ==
false);
314 CPPUNIT_ASSERT(sorter(pair6, pair4) ==
false);
315 CPPUNIT_ASSERT(sorter(pair6, pair2) ==
false);
317 CPPUNIT_ASSERT(sorter(pair1, pair2) ==
false);
318 CPPUNIT_ASSERT(sorter(pair1, pair4) ==
false);
319 CPPUNIT_ASSERT(sorter(pair1, pair6) ==
false);
321 CPPUNIT_ASSERT(sorter(pair3, pair2) ==
false);
322 CPPUNIT_ASSERT(sorter(pair3, pair4) ==
false);
323 CPPUNIT_ASSERT(sorter(pair3, pair6) ==
false);
325 CPPUNIT_ASSERT(sorter(pair5, pair2) ==
false);
326 CPPUNIT_ASSERT(sorter(pair5, pair4) ==
false);
327 CPPUNIT_ASSERT(sorter(pair5, pair6) ==
false);
330 CPPUNIT_ASSERT(sorter(pair1, pair1) ==
false);
331 CPPUNIT_ASSERT(sorter(pair2, pair2) ==
false);
332 CPPUNIT_ASSERT(sorter(pair3, pair3) ==
false);
333 CPPUNIT_ASSERT(sorter(pair4, pair4) ==
false);
334 CPPUNIT_ASSERT(sorter(pair5, pair5) ==
false);
335 CPPUNIT_ASSERT(sorter(pair6, pair6) ==
false);
337 delete pLogicalItem1;
338 delete pLogicalItem2;
339 delete pLogicalItem3;
342 void test_cnormallogical::test_SetSorter_LogicalItem()
345 CPPUNIT_ASSERT(set.size() == 0);
350 CPPUNIT_ASSERT(pNewItem != NULL);
351 set.insert(std::make_pair(pNewItem,
false));
352 CPPUNIT_ASSERT(set.size() == 1);
354 set.insert(std::make_pair(pNewItem,
false));
355 CPPUNIT_ASSERT(set.size() == 1);
358 CPPUNIT_ASSERT(pNewItem != NULL);
359 set.insert(std::make_pair(pNewItem,
true));
360 CPPUNIT_ASSERT(set.size() == 2);
363 CPPUNIT_ASSERT(set.size() == 0);
367 CPPUNIT_ASSERT(pNewItem != NULL);
368 set.insert(std::make_pair(pNewItem,
false));
369 CPPUNIT_ASSERT(set.size() == 1);
371 set.insert(std::make_pair(pNewItem,
false));
372 CPPUNIT_ASSERT(set.size() == 1);
375 CPPUNIT_ASSERT(pNewItem != NULL);
376 set.insert(std::make_pair(pNewItem,
true));
377 CPPUNIT_ASSERT(set.size() == 2);
380 CPPUNIT_ASSERT(set.size() == 0);
385 pItem->setLeft(*pFraction);
387 pItem->setRight(*pFraction);
390 CPPUNIT_ASSERT(pNewItem != NULL);
391 set.insert(std::make_pair(pNewItem,
false));
392 CPPUNIT_ASSERT(set.size() == 1);
394 set.insert(std::make_pair(pNewItem,
false));
395 CPPUNIT_ASSERT(set.size() == 1);
398 CPPUNIT_ASSERT(pNewItem != NULL);
399 set.insert(std::make_pair(pNewItem,
true));
400 CPPUNIT_ASSERT(set.size() == 2);
403 CPPUNIT_ASSERT(set.size() == 0);
408 void test_cnormallogical::test_SetOfSetsSorter_LogicalItem()
411 CPPUNIT_ASSERT(setOfSets.size() == 0);
416 CPPUNIT_ASSERT(pNewItem != NULL);
418 set.insert(std::make_pair(pNewItem,
false));
419 setOfSets.insert(std::make_pair(set,
false));
420 CPPUNIT_ASSERT(setOfSets.size() == 1);
423 CPPUNIT_ASSERT(set.size() == 0);
425 CPPUNIT_ASSERT(pNewItem != NULL);
426 set.insert(std::make_pair(pNewItem,
false));
427 setOfSets.insert(std::make_pair(set,
false));
428 CPPUNIT_ASSERT(setOfSets.size() == 1);
432 CPPUNIT_ASSERT(set.size() == 0);
434 CPPUNIT_ASSERT(pNewItem != NULL);
435 set.insert(std::make_pair(pNewItem,
true));
436 setOfSets.insert(std::make_pair(set,
false));
437 CPPUNIT_ASSERT(setOfSets.size() == 2);
440 CPPUNIT_ASSERT(set.size() == 0);
442 CPPUNIT_ASSERT(pNewItem != NULL);
443 set.insert(std::make_pair(pNewItem,
true));
444 setOfSets.insert(std::make_pair(set,
false));
445 CPPUNIT_ASSERT(setOfSets.size() == 2);
449 CPPUNIT_ASSERT(set.size() == 0);
451 CPPUNIT_ASSERT(pNewItem != NULL);
452 set.insert(std::make_pair(pNewItem,
false));
453 setOfSets.insert(std::make_pair(set,
true));
454 CPPUNIT_ASSERT(setOfSets.size() == 3);
457 CPPUNIT_ASSERT(set.size() == 0);
459 CPPUNIT_ASSERT(pNewItem != NULL);
460 set.insert(std::make_pair(pNewItem,
false));
461 setOfSets.insert(std::make_pair(set,
true));
462 CPPUNIT_ASSERT(setOfSets.size() == 3);
466 CPPUNIT_ASSERT(set.size() == 0);
468 CPPUNIT_ASSERT(pNewItem != NULL);
469 set.insert(std::make_pair(pNewItem,
true));
470 setOfSets.insert(std::make_pair(set,
true));
471 CPPUNIT_ASSERT(setOfSets.size() == 4);
474 CPPUNIT_ASSERT(set.size() == 0);
476 CPPUNIT_ASSERT(pNewItem != NULL);
477 set.insert(std::make_pair(pNewItem,
true));
478 setOfSets.insert(std::make_pair(set,
true));
479 CPPUNIT_ASSERT(setOfSets.size() == 4);
486 void test_cnormallogical::test_simplify_1()
490 std::string infix(
"A");
493 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
502 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
516 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
525 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
535 pTmpLogical->
getAndSets().insert(std::make_pair(tmpSet,
false));
543 pTmpLogical->
getAndSets().insert(std::make_pair(tmpSet,
false));
551 pTmpLogical->
getAndSets().insert(std::make_pair(tmpSet,
false));
559 set.insert(std::make_pair(pLogicalChoice,
false));
560 pLogical->
getChoices().insert(std::make_pair(set,
false));
562 CPPUNIT_ASSERT(pLogical->
simplify() ==
true);
564 CPPUNIT_ASSERT(pLogical->
getChoices().size() == 0);
566 CPPUNIT_ASSERT(orItems.size() == 1);
568 CNormalLogical::ItemSetOfSets::const_iterator it = orItems.begin();
569 CPPUNIT_ASSERT(it->second ==
false);
571 CPPUNIT_ASSERT(andSet2.size() == 2);
573 CNormalLogical::ItemSet::const_iterator it2 = andSet2.begin();
574 CPPUNIT_ASSERT(it2->second ==
false);
579 CPPUNIT_ASSERT(pFraction != NULL);
580 CPPUNIT_ASSERT(pFraction->checkDenominatorOne() ==
true);
582 const CNormalSum* pNumerator = &pFraction->getNumerator();
583 CPPUNIT_ASSERT(pNumerator->getFractions().size() == 0);
584 const std::set<CNormalProduct*, compareProducts >* pProducts = &pNumerator->
getProducts();
585 CPPUNIT_ASSERT(pProducts->size() == 1);
587 CPPUNIT_ASSERT(pProduct != NULL);
588 CPPUNIT_ASSERT(pProduct->getFactor() == 4.0);
589 CPPUNIT_ASSERT(pProduct->getItemPowers().size() == 0);
592 CPPUNIT_ASSERT(pFraction != NULL);
593 CPPUNIT_ASSERT(pFraction->checkDenominatorOne() ==
true);
595 pNumerator = &pFraction->getNumerator();
596 CPPUNIT_ASSERT(pNumerator->getFractions().size() == 0);
597 pProducts = &pNumerator->getProducts();
598 CPPUNIT_ASSERT(pProducts->size() == 1);
599 pProduct = *(pProducts->begin());
600 CPPUNIT_ASSERT(pProduct != NULL);
601 CPPUNIT_ASSERT(pProduct->getFactor() == 1.0);
602 CPPUNIT_ASSERT(pProduct->getItemPowers().size() == 1);
604 CPPUNIT_ASSERT(pItemPower != NULL);
605 CPPUNIT_ASSERT(pItemPower->getExp() == 1.0);
608 CPPUNIT_ASSERT(pNormalItem != NULL);
610 CPPUNIT_ASSERT(pNormalItem->getName() ==
"A");
613 CPPUNIT_ASSERT(it2->second ==
false);
618 CPPUNIT_ASSERT(pFraction != NULL);
619 CPPUNIT_ASSERT(pFraction->checkDenominatorOne() ==
true);
621 pNumerator = &pFraction->getNumerator();
622 CPPUNIT_ASSERT(pNumerator->getFractions().size() == 0);
623 pProducts = &pNumerator->getProducts();
624 CPPUNIT_ASSERT(pProducts->size() == 1);
625 pProduct = *(pProducts->begin());
626 CPPUNIT_ASSERT(pProduct != NULL);
627 CPPUNIT_ASSERT(pProduct->getFactor() == 1.0);
628 CPPUNIT_ASSERT(pProduct->getItemPowers().size() == 1);
629 pItemPower = *(pProduct->getItemPowers().begin());
630 CPPUNIT_ASSERT(pItemPower != NULL);
631 CPPUNIT_ASSERT(pItemPower->getExp() == 1.0);
633 pNormalItem =
dynamic_cast<const CNormalItem*
>(&pItemPower->getItem());
634 CPPUNIT_ASSERT(pNormalItem != NULL);
636 CPPUNIT_ASSERT(pNormalItem->getName() ==
"A");
639 CPPUNIT_ASSERT(pFraction != NULL);
640 CPPUNIT_ASSERT(pFraction->checkDenominatorOne() ==
true);
642 pNumerator = &pFraction->getNumerator();
643 CPPUNIT_ASSERT(pNumerator->getFractions().size() == 0);
644 pProducts = &pNumerator->getProducts();
645 CPPUNIT_ASSERT(pProducts->size() == 1);
646 pProduct = *(pProducts->begin());
647 CPPUNIT_ASSERT(pProduct != NULL);
648 CPPUNIT_ASSERT(pProduct->getFactor() == 1.0);
649 CPPUNIT_ASSERT(pProduct->getItemPowers().size() == 1);
650 pItemPower = *(pProduct->getItemPowers().begin());
651 CPPUNIT_ASSERT(pItemPower != NULL);
652 CPPUNIT_ASSERT(pItemPower->getExp() == 1.0);
654 pNormalItem =
dynamic_cast<const CNormalItem*
>(&pItemPower->getItem());
655 CPPUNIT_ASSERT(pNormalItem != NULL);
657 CPPUNIT_ASSERT(pNormalItem->getName() ==
"PI");
662 void test_cnormallogical::test_SetSorter_operator2()
671 std::string infix(
"A");
674 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
676 CPPUNIT_ASSERT(pA != NULL);
679 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
681 CPPUNIT_ASSERT(pPI != NULL);
684 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
686 CPPUNIT_ASSERT(pD != NULL);
689 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
691 CPPUNIT_ASSERT(pF != NULL);
694 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
696 CPPUNIT_ASSERT(pT != NULL);
699 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
701 CPPUNIT_ASSERT(pX != NULL);
704 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
706 CPPUNIT_ASSERT(pSIN != NULL);
709 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
711 CPPUNIT_ASSERT(pPOWER != NULL);
714 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
716 CPPUNIT_ASSERT(pTWO != NULL);
719 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
721 CPPUNIT_ASSERT(pFOUR != NULL);
724 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
726 CPPUNIT_ASSERT(pSIX != NULL);
799 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLA,
false), std::pair<CNormalLogicalItem*, bool>(pLA,
false)) ==
false);
800 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLA,
false), std::pair<CNormalLogicalItem*, bool>(pLNotA,
false)) ==
true);
801 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLA,
false), std::pair<CNormalLogicalItem*, bool>(pLB,
false)) ==
false);
802 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLA,
false), std::pair<CNormalLogicalItem*, bool>(pLNotB,
false)) ==
false);
803 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLA,
false), std::pair<CNormalLogicalItem*, bool>(pLC,
false)) ==
false);
804 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLA,
false), std::pair<CNormalLogicalItem*, bool>(pLNotC,
false)) ==
false);
805 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLA,
false), std::pair<CNormalLogicalItem*, bool>(pLD,
false)) ==
false);
806 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLA,
false), std::pair<CNormalLogicalItem*, bool>(pLNotD,
false)) ==
false);
807 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLA,
false), std::pair<CNormalLogicalItem*, bool>(pLE,
false)) ==
true);
808 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLA,
false), std::pair<CNormalLogicalItem*, bool>(pLNotE,
false)) ==
true);
809 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLA,
false), std::pair<CNormalLogicalItem*, bool>(pLF,
false)) ==
false);
810 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLA,
false), std::pair<CNormalLogicalItem*, bool>(pLNotF,
false)) ==
false);
813 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false), std::pair<CNormalLogicalItem*, bool>(pLA,
false)) ==
false);
814 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false), std::pair<CNormalLogicalItem*, bool>(pLNotA,
false)) ==
false);
815 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false), std::pair<CNormalLogicalItem*, bool>(pLB,
false)) ==
false);
816 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false), std::pair<CNormalLogicalItem*, bool>(pLNotB,
false)) ==
false);
817 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false), std::pair<CNormalLogicalItem*, bool>(pLC,
false)) ==
false);
818 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false), std::pair<CNormalLogicalItem*, bool>(pLNotC,
false)) ==
false);
819 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false), std::pair<CNormalLogicalItem*, bool>(pLD,
false)) ==
false);
820 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false), std::pair<CNormalLogicalItem*, bool>(pLNotD,
false)) ==
false);
821 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false), std::pair<CNormalLogicalItem*, bool>(pLE,
false)) ==
false);
822 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false), std::pair<CNormalLogicalItem*, bool>(pLNotE,
false)) ==
true);
823 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false), std::pair<CNormalLogicalItem*, bool>(pLF,
false)) ==
false);
824 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false), std::pair<CNormalLogicalItem*, bool>(pLNotF,
false)) ==
false);
827 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLB,
false), std::pair<CNormalLogicalItem*, bool>(pLA,
false)) ==
true);
828 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLB,
false), std::pair<CNormalLogicalItem*, bool>(pLNotA,
false)) ==
true);
829 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLB,
false), std::pair<CNormalLogicalItem*, bool>(pLB,
false)) ==
false);
830 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLB,
false), std::pair<CNormalLogicalItem*, bool>(pLNotB,
false)) ==
false);
831 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLB,
false), std::pair<CNormalLogicalItem*, bool>(pLC,
false)) ==
false);
832 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLB,
false), std::pair<CNormalLogicalItem*, bool>(pLNotC,
false)) ==
false);
833 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLB,
false), std::pair<CNormalLogicalItem*, bool>(pLD,
false)) ==
false);
834 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLB,
false), std::pair<CNormalLogicalItem*, bool>(pLNotD,
false)) ==
false);
835 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLB,
false), std::pair<CNormalLogicalItem*, bool>(pLE,
false)) ==
true);
836 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLB,
false), std::pair<CNormalLogicalItem*, bool>(pLNotE,
false)) ==
true);
837 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLB,
false), std::pair<CNormalLogicalItem*, bool>(pLF,
false)) ==
false);
838 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLB,
false), std::pair<CNormalLogicalItem*, bool>(pLNotF,
false)) ==
false);
841 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false), std::pair<CNormalLogicalItem*, bool>(pLA,
false)) ==
true);
842 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false), std::pair<CNormalLogicalItem*, bool>(pLNotA,
false)) ==
true);
843 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false), std::pair<CNormalLogicalItem*, bool>(pLB,
false)) ==
true);
844 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false), std::pair<CNormalLogicalItem*, bool>(pLNotB,
false)) ==
false);
845 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false), std::pair<CNormalLogicalItem*, bool>(pLC,
false)) ==
false);
846 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false), std::pair<CNormalLogicalItem*, bool>(pLNotC,
false)) ==
true);
847 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false), std::pair<CNormalLogicalItem*, bool>(pLD,
false)) ==
true);
848 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false), std::pair<CNormalLogicalItem*, bool>(pLNotD,
false)) ==
false);
849 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false), std::pair<CNormalLogicalItem*, bool>(pLE,
false)) ==
true);
850 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false), std::pair<CNormalLogicalItem*, bool>(pLNotE,
false)) ==
true);
851 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false), std::pair<CNormalLogicalItem*, bool>(pLF,
false)) ==
true);
852 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false), std::pair<CNormalLogicalItem*, bool>(pLNotF,
false)) ==
false);
855 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLC,
false), std::pair<CNormalLogicalItem*, bool>(pLA,
false)) ==
true);
856 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLC,
false), std::pair<CNormalLogicalItem*, bool>(pLNotA,
false)) ==
true);
857 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLC,
false), std::pair<CNormalLogicalItem*, bool>(pLB,
false)) ==
true);
858 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLC,
false), std::pair<CNormalLogicalItem*, bool>(pLNotB,
false)) ==
true);
859 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLC,
false), std::pair<CNormalLogicalItem*, bool>(pLC,
false)) ==
false);
860 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLC,
false), std::pair<CNormalLogicalItem*, bool>(pLNotC,
false)) ==
true);
861 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLC,
false), std::pair<CNormalLogicalItem*, bool>(pLD,
false)) ==
true);
862 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLC,
false), std::pair<CNormalLogicalItem*, bool>(pLNotD,
false)) ==
false);
863 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLC,
false), std::pair<CNormalLogicalItem*, bool>(pLE,
false)) ==
true);
864 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLC,
false), std::pair<CNormalLogicalItem*, bool>(pLNotE,
false)) ==
true);
865 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLC,
false), std::pair<CNormalLogicalItem*, bool>(pLF,
false)) ==
true);
866 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLC,
false), std::pair<CNormalLogicalItem*, bool>(pLNotF,
false)) ==
true);
869 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false), std::pair<CNormalLogicalItem*, bool>(pLA,
false)) ==
true);
870 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false), std::pair<CNormalLogicalItem*, bool>(pLNotA,
false)) ==
true);
871 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false), std::pair<CNormalLogicalItem*, bool>(pLB,
false)) ==
true);
872 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false), std::pair<CNormalLogicalItem*, bool>(pLNotB,
false)) ==
false);
873 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false), std::pair<CNormalLogicalItem*, bool>(pLC,
false)) ==
false);
874 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false), std::pair<CNormalLogicalItem*, bool>(pLNotC,
false)) ==
false);
875 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false), std::pair<CNormalLogicalItem*, bool>(pLD,
false)) ==
false);
876 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false), std::pair<CNormalLogicalItem*, bool>(pLNotD,
false)) ==
false);
877 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false), std::pair<CNormalLogicalItem*, bool>(pLE,
false)) ==
true);
878 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false), std::pair<CNormalLogicalItem*, bool>(pLNotE,
false)) ==
true);
879 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false), std::pair<CNormalLogicalItem*, bool>(pLF,
false)) ==
true);
880 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false), std::pair<CNormalLogicalItem*, bool>(pLNotF,
false)) ==
false);
883 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLD,
false), std::pair<CNormalLogicalItem*, bool>(pLA,
false)) ==
true);
884 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLD,
false), std::pair<CNormalLogicalItem*, bool>(pLNotA,
false)) ==
true);
885 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLD,
false), std::pair<CNormalLogicalItem*, bool>(pLB,
false)) ==
true);
886 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLD,
false), std::pair<CNormalLogicalItem*, bool>(pLNotB,
false)) ==
false);
887 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLD,
false), std::pair<CNormalLogicalItem*, bool>(pLC,
false)) ==
false);
888 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLD,
false), std::pair<CNormalLogicalItem*, bool>(pLNotC,
false)) ==
true);
889 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLD,
false), std::pair<CNormalLogicalItem*, bool>(pLD,
false)) ==
false);
890 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLD,
false), std::pair<CNormalLogicalItem*, bool>(pLNotD,
false)) ==
false);
891 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLD,
false), std::pair<CNormalLogicalItem*, bool>(pLE,
false)) ==
true);
892 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLD,
false), std::pair<CNormalLogicalItem*, bool>(pLNotE,
false)) ==
true);
893 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLD,
false), std::pair<CNormalLogicalItem*, bool>(pLF,
false)) ==
true);
894 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLD,
false), std::pair<CNormalLogicalItem*, bool>(pLNotF,
false)) ==
false);
897 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false), std::pair<CNormalLogicalItem*, bool>(pLA,
false)) ==
true);
898 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false), std::pair<CNormalLogicalItem*, bool>(pLNotA,
false)) ==
true);
899 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false), std::pair<CNormalLogicalItem*, bool>(pLB,
false)) ==
true);
900 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false), std::pair<CNormalLogicalItem*, bool>(pLNotB,
false)) ==
true);
901 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false), std::pair<CNormalLogicalItem*, bool>(pLC,
false)) ==
true);
902 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false), std::pair<CNormalLogicalItem*, bool>(pLNotC,
false)) ==
true);
903 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false), std::pair<CNormalLogicalItem*, bool>(pLD,
false)) ==
true);
904 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false), std::pair<CNormalLogicalItem*, bool>(pLNotD,
false)) ==
false);
905 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false), std::pair<CNormalLogicalItem*, bool>(pLE,
false)) ==
true);
906 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false), std::pair<CNormalLogicalItem*, bool>(pLNotE,
false)) ==
true);
907 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false), std::pair<CNormalLogicalItem*, bool>(pLF,
false)) ==
true);
908 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false), std::pair<CNormalLogicalItem*, bool>(pLNotF,
false)) ==
true);
911 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLE,
false), std::pair<CNormalLogicalItem*, bool>(pLA,
false)) ==
false);
912 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLE,
false), std::pair<CNormalLogicalItem*, bool>(pLNotA,
false)) ==
true);
913 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLE,
false), std::pair<CNormalLogicalItem*, bool>(pLB,
false)) ==
false);
914 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLE,
false), std::pair<CNormalLogicalItem*, bool>(pLNotB,
false)) ==
false);
915 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLE,
false), std::pair<CNormalLogicalItem*, bool>(pLC,
false)) ==
false);
916 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLE,
false), std::pair<CNormalLogicalItem*, bool>(pLNotC,
false)) ==
false);
917 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLE,
false), std::pair<CNormalLogicalItem*, bool>(pLD,
false)) ==
false);
918 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLE,
false), std::pair<CNormalLogicalItem*, bool>(pLNotD,
false)) ==
false);
919 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLE,
false), std::pair<CNormalLogicalItem*, bool>(pLE,
false)) ==
false);
920 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLE,
false), std::pair<CNormalLogicalItem*, bool>(pLNotE,
false)) ==
true);
921 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLE,
false), std::pair<CNormalLogicalItem*, bool>(pLF,
false)) ==
false);
922 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLE,
false), std::pair<CNormalLogicalItem*, bool>(pLNotF,
false)) ==
false);
925 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false), std::pair<CNormalLogicalItem*, bool>(pLA,
false)) ==
false);
926 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false), std::pair<CNormalLogicalItem*, bool>(pLNotA,
false)) ==
false);
927 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false), std::pair<CNormalLogicalItem*, bool>(pLB,
false)) ==
false);
928 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false), std::pair<CNormalLogicalItem*, bool>(pLNotB,
false)) ==
false);
929 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false), std::pair<CNormalLogicalItem*, bool>(pLC,
false)) ==
false);
930 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false), std::pair<CNormalLogicalItem*, bool>(pLNotC,
false)) ==
false);
931 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false), std::pair<CNormalLogicalItem*, bool>(pLD,
false)) ==
false);
932 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false), std::pair<CNormalLogicalItem*, bool>(pLNotD,
false)) ==
false);
933 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false), std::pair<CNormalLogicalItem*, bool>(pLE,
false)) ==
false);
934 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false), std::pair<CNormalLogicalItem*, bool>(pLNotE,
false)) ==
false);
935 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false), std::pair<CNormalLogicalItem*, bool>(pLF,
false)) ==
false);
936 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false), std::pair<CNormalLogicalItem*, bool>(pLNotF,
false)) ==
false);
939 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLF,
false), std::pair<CNormalLogicalItem*, bool>(pLA,
false)) ==
true);
940 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLF,
false), std::pair<CNormalLogicalItem*, bool>(pLNotA,
false)) ==
true);
941 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLF,
false), std::pair<CNormalLogicalItem*, bool>(pLB,
false)) ==
true);
942 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLF,
false), std::pair<CNormalLogicalItem*, bool>(pLNotB,
false)) ==
false);
943 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLF,
false), std::pair<CNormalLogicalItem*, bool>(pLC,
false)) ==
false);
944 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLF,
false), std::pair<CNormalLogicalItem*, bool>(pLNotC,
false)) ==
false);
945 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLF,
false), std::pair<CNormalLogicalItem*, bool>(pLD,
false)) ==
false);
946 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLF,
false), std::pair<CNormalLogicalItem*, bool>(pLNotD,
false)) ==
false);
947 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLF,
false), std::pair<CNormalLogicalItem*, bool>(pLE,
false)) ==
true);
948 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLF,
false), std::pair<CNormalLogicalItem*, bool>(pLNotE,
false)) ==
true);
949 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLF,
false), std::pair<CNormalLogicalItem*, bool>(pLF,
false)) ==
false);
950 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLF,
false), std::pair<CNormalLogicalItem*, bool>(pLNotF,
false)) ==
false);
953 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false), std::pair<CNormalLogicalItem*, bool>(pLA,
false)) ==
true);
954 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false), std::pair<CNormalLogicalItem*, bool>(pLNotA,
false)) ==
true);
955 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false), std::pair<CNormalLogicalItem*, bool>(pLB,
false)) ==
true);
956 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false), std::pair<CNormalLogicalItem*, bool>(pLNotB,
false)) ==
true);
957 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false), std::pair<CNormalLogicalItem*, bool>(pLC,
false)) ==
false);
958 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false), std::pair<CNormalLogicalItem*, bool>(pLNotC,
false)) ==
true);
959 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false), std::pair<CNormalLogicalItem*, bool>(pLD,
false)) ==
true);
960 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false), std::pair<CNormalLogicalItem*, bool>(pLNotD,
false)) ==
false);
961 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false), std::pair<CNormalLogicalItem*, bool>(pLE,
false)) ==
true);
962 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false), std::pair<CNormalLogicalItem*, bool>(pLNotE,
false)) ==
true);
963 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false), std::pair<CNormalLogicalItem*, bool>(pLF,
false)) ==
true);
964 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false), std::pair<CNormalLogicalItem*, bool>(pLNotF,
false)) ==
false);
968 sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false));
969 sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false));
970 sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLB,
false));
971 sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false));
972 sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLC,
false));
973 sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false));
974 sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLD,
false));
975 sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false));
976 sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLE,
false));
977 sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false));
978 sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLF,
false));
979 sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false));
980 CPPUNIT_ASSERT(sortedSet.size() == 12);
982 CPPUNIT_ASSERT(sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false)).second ==
false);
983 CPPUNIT_ASSERT(sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false)).second ==
false);
984 CPPUNIT_ASSERT(sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLB,
false)).second ==
false);
985 CPPUNIT_ASSERT(sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false)).second ==
false);
986 CPPUNIT_ASSERT(sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLC,
false)).second ==
false);
987 CPPUNIT_ASSERT(sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false)).second ==
false);
988 CPPUNIT_ASSERT(sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLD,
false)).second ==
false);
989 CPPUNIT_ASSERT(sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false)).second ==
false);
990 CPPUNIT_ASSERT(sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLE,
false)).second ==
false);
991 CPPUNIT_ASSERT(sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false)).second ==
false);
992 CPPUNIT_ASSERT(sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLF,
false)).second ==
false);
993 CPPUNIT_ASSERT(sortedSet.insert(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false)).second ==
false);
994 CPPUNIT_ASSERT(sortedSet.size() == 12);
998 CPPUNIT_ASSERT(it->first == pLNotD);
999 CPPUNIT_ASSERT(it->second ==
false);
1001 CPPUNIT_ASSERT(it->first == pLC);
1002 CPPUNIT_ASSERT(it->second ==
false);
1004 CPPUNIT_ASSERT(it->first == pLNotF);
1005 CPPUNIT_ASSERT(it->second ==
false);
1007 CPPUNIT_ASSERT(it->first == pLNotB);
1008 CPPUNIT_ASSERT(it->second ==
false);
1010 CPPUNIT_ASSERT(it->first == pLD);
1011 CPPUNIT_ASSERT(it->second ==
false);
1013 CPPUNIT_ASSERT(it->first == pLNotC);
1014 CPPUNIT_ASSERT(it->second ==
false);
1016 CPPUNIT_ASSERT(it->first == pLF);
1017 CPPUNIT_ASSERT(it->second ==
false);
1019 CPPUNIT_ASSERT(it->first == pLB);
1020 CPPUNIT_ASSERT(it->second ==
false);
1022 CPPUNIT_ASSERT(it->first == pLA);
1023 CPPUNIT_ASSERT(it->second ==
false);
1025 CPPUNIT_ASSERT(it->first == pLE);
1026 CPPUNIT_ASSERT(it->second ==
false);
1028 CPPUNIT_ASSERT(it->first == pLNotA);
1029 CPPUNIT_ASSERT(it->second ==
false);
1031 CPPUNIT_ASSERT(it->first == pLNotE);
1032 CPPUNIT_ASSERT(it->second ==
false);
1034 CPPUNIT_ASSERT(it == sortedSet.end());
1050 void test_cnormallogical::test_SetOfSetsSorter_operator2()
1059 std::string infix(
"A");
1062 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
1064 CPPUNIT_ASSERT(pA != NULL);
1067 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
1069 CPPUNIT_ASSERT(pPI != NULL);
1072 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
1074 CPPUNIT_ASSERT(pD != NULL);
1077 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
1079 CPPUNIT_ASSERT(pF != NULL);
1082 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
1084 CPPUNIT_ASSERT(pT != NULL);
1087 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
1089 CPPUNIT_ASSERT(pX != NULL);
1090 infix =
"SIN(PI*D)";
1092 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
1094 CPPUNIT_ASSERT(pSIN != NULL);
1095 infix =
"2*T^(3*J)";
1097 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
1099 CPPUNIT_ASSERT(pPOWER != NULL);
1102 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
1104 CPPUNIT_ASSERT(pTWO != NULL);
1107 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
1109 CPPUNIT_ASSERT(pFOUR != NULL);
1112 CPPUNIT_ASSERT(pTree->
getRoot() != NULL);
1114 CPPUNIT_ASSERT(pSIX != NULL);
1185 CNormalLogical::ItemSet sortedSet1, sortedSet2, sortedSet3, sortedSet4, sortedSet5, sortedSet6, sortedSet7, sortedSet8, sortedSet9, sortedSet10, sortedSet11, sortedSet12;
1187 sortedSet1.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false));
1188 sortedSet2.insert(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false));
1189 sortedSet3.insert(std::pair<CNormalLogicalItem*, bool>(pLB,
false));
1190 sortedSet4.insert(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false));
1191 sortedSet5.insert(std::pair<CNormalLogicalItem*, bool>(pLC,
false));
1192 sortedSet6.insert(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false));
1193 sortedSet7.insert(std::pair<CNormalLogicalItem*, bool>(pLD,
false));
1194 sortedSet8.insert(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false));
1195 sortedSet9.insert(std::pair<CNormalLogicalItem*, bool>(pLE,
false));
1196 sortedSet10.insert(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false));
1197 sortedSet11.insert(std::pair<CNormalLogicalItem*, bool>(pLF,
false));
1198 sortedSet12.insert(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false));
1203 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
false);
1204 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
true);
1205 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
false);
1206 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1207 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1208 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1209 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1210 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1211 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1212 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1213 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
false);
1214 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1217 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
false);
1218 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1219 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
false);
1220 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1221 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1222 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1223 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1224 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1225 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
false);
1226 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1227 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
false);
1228 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1231 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1232 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
true);
1233 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
false);
1234 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1235 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1236 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1237 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1238 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1239 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1240 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1241 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
false);
1242 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1245 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1246 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
true);
1247 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
true);
1248 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1249 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1250 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
true);
1251 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
true);
1252 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1253 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1254 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1255 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1256 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1259 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1260 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
true);
1261 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
true);
1262 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
true);
1263 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1264 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
true);
1265 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
true);
1266 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1267 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1268 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1269 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1270 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
true);
1273 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1274 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
true);
1275 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
true);
1276 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1277 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1278 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1279 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1280 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1281 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1282 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1283 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1284 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1287 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1288 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
true);
1289 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
true);
1290 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1291 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1292 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
true);
1293 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1294 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1295 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1296 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1297 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1298 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1301 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1302 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
true);
1303 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
true);
1304 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
true);
1305 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
true);
1306 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
true);
1307 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
true);
1308 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1309 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1310 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1311 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1312 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
true);
1315 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
false);
1316 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
true);
1317 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
false);
1318 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1319 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1320 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1321 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1322 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1323 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
false);
1324 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1325 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
false);
1326 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1329 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
false);
1330 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1331 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
false);
1332 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1333 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1334 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1335 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1336 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1337 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
false);
1338 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
false);
1339 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
false);
1340 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1343 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1344 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
true);
1345 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
true);
1346 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1347 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1348 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1349 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1350 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1351 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1352 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1353 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
false);
1354 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1357 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1358 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
true);
1359 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
true);
1360 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
true);
1361 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1362 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
true);
1363 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
true);
1364 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1365 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1366 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1367 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1368 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1381 sortedSet10.clear();
1382 sortedSet11.clear();
1383 sortedSet12.clear();
1386 sortedSet1.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false));
1387 sortedSet1.insert(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false));
1388 sortedSet1.insert(std::pair<CNormalLogicalItem*, bool>(pLE,
false));
1389 sortedSet1.insert(std::pair<CNormalLogicalItem*, bool>(pLD,
false));
1390 sortedSet1.insert(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false));
1391 sortedSet1.insert(std::pair<CNormalLogicalItem*, bool>(pLF,
false));
1392 CNormalLogical::ItemSet::iterator it = sortedSet1.begin();
1393 CPPUNIT_ASSERT(it->first == pLNotB);
1394 CPPUNIT_ASSERT(it->second ==
false);
1396 CPPUNIT_ASSERT(it->first == pLD);
1397 CPPUNIT_ASSERT(it->second ==
false);
1399 CPPUNIT_ASSERT(it->first == pLNotC);
1400 CPPUNIT_ASSERT(it->second ==
false);
1402 CPPUNIT_ASSERT(it->first == pLF);
1403 CPPUNIT_ASSERT(it->second ==
false);
1405 CPPUNIT_ASSERT(it->first == pLA);
1406 CPPUNIT_ASSERT(it->second ==
false);
1408 CPPUNIT_ASSERT(it->first == pLE);
1409 CPPUNIT_ASSERT(it->second ==
false);
1411 CPPUNIT_ASSERT(it == sortedSet1.end());
1414 sortedSet2.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false));
1415 sortedSet2.insert(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false));
1416 sortedSet2.insert(std::pair<CNormalLogicalItem*, bool>(pLE,
false));
1417 sortedSet2.insert(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false));
1418 sortedSet2.insert(std::pair<CNormalLogicalItem*, bool>(pLC,
false));
1419 sortedSet2.insert(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false));
1420 it = sortedSet2.begin();
1421 CPPUNIT_ASSERT(it->first == pLNotD);
1422 CPPUNIT_ASSERT(it->second ==
false);
1424 CPPUNIT_ASSERT(it->first == pLC);
1425 CPPUNIT_ASSERT(it->second ==
false);
1427 CPPUNIT_ASSERT(it->first == pLNotF);
1428 CPPUNIT_ASSERT(it->second ==
false);
1430 CPPUNIT_ASSERT(it->first == pLNotB);
1431 CPPUNIT_ASSERT(it->second ==
false);
1433 CPPUNIT_ASSERT(it->first == pLA);
1434 CPPUNIT_ASSERT(it->second ==
false);
1436 CPPUNIT_ASSERT(it->first == pLE);
1437 CPPUNIT_ASSERT(it->second ==
false);
1439 CPPUNIT_ASSERT(it == sortedSet2.end());
1442 sortedSet3.insert(std::pair<CNormalLogicalItem*, bool>(pLNotA,
false));
1443 sortedSet3.insert(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false));
1444 sortedSet3.insert(std::pair<CNormalLogicalItem*, bool>(pLE,
false));
1445 sortedSet3.insert(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false));
1446 sortedSet3.insert(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false));
1447 sortedSet3.insert(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false));
1448 it = sortedSet3.begin();
1449 CPPUNIT_ASSERT(it->first == pLNotD);
1450 CPPUNIT_ASSERT(it->second ==
false);
1452 CPPUNIT_ASSERT(it->first == pLNotF);
1453 CPPUNIT_ASSERT(it->second ==
false);
1455 CPPUNIT_ASSERT(it->first == pLNotB);
1456 CPPUNIT_ASSERT(it->second ==
false);
1458 CPPUNIT_ASSERT(it->first == pLNotC);
1459 CPPUNIT_ASSERT(it->second ==
false);
1461 CPPUNIT_ASSERT(it->first == pLE);
1462 CPPUNIT_ASSERT(it->second ==
false);
1464 CPPUNIT_ASSERT(it->first == pLNotA);
1465 CPPUNIT_ASSERT(it->second ==
false);
1467 CPPUNIT_ASSERT(it == sortedSet3.end());
1470 sortedSet4.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false));
1471 sortedSet4.insert(std::pair<CNormalLogicalItem*, bool>(pLB,
false));
1472 sortedSet4.insert(std::pair<CNormalLogicalItem*, bool>(pLE,
false));
1473 sortedSet4.insert(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false));
1474 sortedSet4.insert(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false));
1475 sortedSet4.insert(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false));
1476 it = sortedSet4.begin();
1477 CPPUNIT_ASSERT(it->first == pLNotD);
1478 CPPUNIT_ASSERT(it->second ==
false);
1480 CPPUNIT_ASSERT(it->first == pLNotF);
1481 CPPUNIT_ASSERT(it->second ==
false);
1483 CPPUNIT_ASSERT(it->first == pLNotC);
1484 CPPUNIT_ASSERT(it->second ==
false);
1486 CPPUNIT_ASSERT(it->first == pLB);
1487 CPPUNIT_ASSERT(it->second ==
false);
1489 CPPUNIT_ASSERT(it->first == pLA);
1490 CPPUNIT_ASSERT(it->second ==
false);
1492 CPPUNIT_ASSERT(it->first == pLE);
1493 CPPUNIT_ASSERT(it->second ==
false);
1495 CPPUNIT_ASSERT(it == sortedSet4.end());
1498 sortedSet5.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false));
1499 sortedSet5.insert(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false));
1500 sortedSet5.insert(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false));
1501 sortedSet5.insert(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false));
1502 sortedSet5.insert(std::pair<CNormalLogicalItem*, bool>(pLC,
false));
1503 sortedSet5.insert(std::pair<CNormalLogicalItem*, bool>(pLF,
false));
1504 it = sortedSet5.begin();
1505 CPPUNIT_ASSERT(it->first == pLNotD);
1506 CPPUNIT_ASSERT(it->second ==
false);
1508 CPPUNIT_ASSERT(it->first == pLC);
1509 CPPUNIT_ASSERT(it->second ==
false);
1511 CPPUNIT_ASSERT(it->first == pLNotB);
1512 CPPUNIT_ASSERT(it->second ==
false);
1514 CPPUNIT_ASSERT(it->first == pLF);
1515 CPPUNIT_ASSERT(it->second ==
false);
1517 CPPUNIT_ASSERT(it->first == pLA);
1518 CPPUNIT_ASSERT(it->second ==
false);
1520 CPPUNIT_ASSERT(it->first == pLNotE);
1521 CPPUNIT_ASSERT(it->second ==
false);
1523 CPPUNIT_ASSERT(it == sortedSet5.end());
1526 sortedSet6.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false));
1527 sortedSet6.insert(std::pair<CNormalLogicalItem*, bool>(pLB,
false));
1528 sortedSet6.insert(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false));
1529 sortedSet6.insert(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false));
1530 sortedSet6.insert(std::pair<CNormalLogicalItem*, bool>(pLC,
false));
1531 sortedSet6.insert(std::pair<CNormalLogicalItem*, bool>(pLF,
false));
1532 it = sortedSet6.begin();
1533 CPPUNIT_ASSERT(it->first == pLNotD);
1534 CPPUNIT_ASSERT(it->second ==
false);
1536 CPPUNIT_ASSERT(it->first == pLC);
1537 CPPUNIT_ASSERT(it->second ==
false);
1539 CPPUNIT_ASSERT(it->first == pLF);
1540 CPPUNIT_ASSERT(it->second ==
false);
1542 CPPUNIT_ASSERT(it->first == pLB);
1543 CPPUNIT_ASSERT(it->second ==
false);
1545 CPPUNIT_ASSERT(it->first == pLA);
1546 CPPUNIT_ASSERT(it->second ==
false);
1548 CPPUNIT_ASSERT(it->first == pLNotE);
1549 CPPUNIT_ASSERT(it->second ==
false);
1551 CPPUNIT_ASSERT(it == sortedSet6.end());
1554 sortedSet7.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false));
1555 sortedSet7.insert(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false));
1556 sortedSet7.insert(std::pair<CNormalLogicalItem*, bool>(pLE,
false));
1557 sortedSet7.insert(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false));
1558 sortedSet7.insert(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false));
1559 sortedSet7.insert(std::pair<CNormalLogicalItem*, bool>(pLF,
false));
1560 it = sortedSet7.begin();
1561 CPPUNIT_ASSERT(it->first == pLNotD);
1562 CPPUNIT_ASSERT(it->second ==
false);
1564 CPPUNIT_ASSERT(it->first == pLNotB);
1565 CPPUNIT_ASSERT(it->second ==
false);
1567 CPPUNIT_ASSERT(it->first == pLNotC);
1568 CPPUNIT_ASSERT(it->second ==
false);
1570 CPPUNIT_ASSERT(it->first == pLF);
1571 CPPUNIT_ASSERT(it->second ==
false);
1573 CPPUNIT_ASSERT(it->first == pLA);
1574 CPPUNIT_ASSERT(it->second ==
false);
1576 CPPUNIT_ASSERT(it->first == pLE);
1577 CPPUNIT_ASSERT(it->second ==
false);
1579 CPPUNIT_ASSERT(it == sortedSet7.end());
1582 sortedSet8.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false));
1583 sortedSet8.insert(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false));
1584 sortedSet8.insert(std::pair<CNormalLogicalItem*, bool>(pLNotE,
false));
1585 sortedSet8.insert(std::pair<CNormalLogicalItem*, bool>(pLD,
false));
1586 sortedSet8.insert(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false));
1587 sortedSet8.insert(std::pair<CNormalLogicalItem*, bool>(pLF,
false));
1588 it = sortedSet8.begin();
1589 CPPUNIT_ASSERT(it->first == pLNotB);
1590 CPPUNIT_ASSERT(it->second ==
false);
1592 CPPUNIT_ASSERT(it->first == pLD);
1593 CPPUNIT_ASSERT(it->second ==
false);
1595 CPPUNIT_ASSERT(it->first == pLNotC);
1596 CPPUNIT_ASSERT(it->second ==
false);
1598 CPPUNIT_ASSERT(it->first == pLF);
1599 CPPUNIT_ASSERT(it->second ==
false);
1601 CPPUNIT_ASSERT(it->first == pLA);
1602 CPPUNIT_ASSERT(it->second ==
false);
1604 CPPUNIT_ASSERT(it->first == pLNotE);
1605 CPPUNIT_ASSERT(it->second ==
false);
1607 CPPUNIT_ASSERT(it == sortedSet8.end());
1610 sortedSet9.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false));
1611 sortedSet9.insert(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false));
1612 sortedSet9.insert(std::pair<CNormalLogicalItem*, bool>(pLE,
false));
1613 sortedSet9.insert(std::pair<CNormalLogicalItem*, bool>(pLD,
false));
1614 sortedSet9.insert(std::pair<CNormalLogicalItem*, bool>(pLC,
false));
1615 sortedSet9.insert(std::pair<CNormalLogicalItem*, bool>(pLF,
false));
1616 it = sortedSet9.begin();
1617 CPPUNIT_ASSERT(it->first == pLC);
1618 CPPUNIT_ASSERT(it->second ==
false);
1620 CPPUNIT_ASSERT(it->first == pLNotB);
1621 CPPUNIT_ASSERT(it->second ==
false);
1623 CPPUNIT_ASSERT(it->first == pLD);
1624 CPPUNIT_ASSERT(it->second ==
false);
1626 CPPUNIT_ASSERT(it->first == pLF);
1627 CPPUNIT_ASSERT(it->second ==
false);
1629 CPPUNIT_ASSERT(it->first == pLA);
1630 CPPUNIT_ASSERT(it->second ==
false);
1632 CPPUNIT_ASSERT(it->first == pLE);
1633 CPPUNIT_ASSERT(it->second ==
false);
1635 CPPUNIT_ASSERT(it == sortedSet9.end());
1638 sortedSet10.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false));
1639 sortedSet10.insert(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false));
1640 sortedSet10.insert(std::pair<CNormalLogicalItem*, bool>(pLE,
false));
1641 sortedSet10.insert(std::pair<CNormalLogicalItem*, bool>(pLD,
false));
1642 sortedSet10.insert(std::pair<CNormalLogicalItem*, bool>(pLC,
false));
1643 sortedSet10.insert(std::pair<CNormalLogicalItem*, bool>(pLNotF,
false));
1644 it = sortedSet10.begin();
1645 CPPUNIT_ASSERT(it->first == pLC);
1646 CPPUNIT_ASSERT(it->second ==
false);
1648 CPPUNIT_ASSERT(it->first == pLNotF);
1649 CPPUNIT_ASSERT(it->second ==
false);
1651 CPPUNIT_ASSERT(it->first == pLNotB);
1652 CPPUNIT_ASSERT(it->second ==
false);
1654 CPPUNIT_ASSERT(it->first == pLD);
1655 CPPUNIT_ASSERT(it->second ==
false);
1657 CPPUNIT_ASSERT(it->first == pLA);
1658 CPPUNIT_ASSERT(it->second ==
false);
1660 CPPUNIT_ASSERT(it->first == pLE);
1661 CPPUNIT_ASSERT(it->second ==
false);
1663 CPPUNIT_ASSERT(it == sortedSet10.end());
1666 sortedSet11.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false));
1667 sortedSet11.insert(std::pair<CNormalLogicalItem*, bool>(pLB,
false));
1668 sortedSet11.insert(std::pair<CNormalLogicalItem*, bool>(pLE,
false));
1669 sortedSet11.insert(std::pair<CNormalLogicalItem*, bool>(pLD,
false));
1670 sortedSet11.insert(std::pair<CNormalLogicalItem*, bool>(pLNotC,
false));
1671 sortedSet11.insert(std::pair<CNormalLogicalItem*, bool>(pLF,
false));
1672 it = sortedSet11.begin();
1673 CPPUNIT_ASSERT(it->first == pLD);
1674 CPPUNIT_ASSERT(it->second ==
false);
1676 CPPUNIT_ASSERT(it->first == pLNotC);
1677 CPPUNIT_ASSERT(it->second ==
false);
1679 CPPUNIT_ASSERT(it->first == pLF);
1680 CPPUNIT_ASSERT(it->second ==
false);
1682 CPPUNIT_ASSERT(it->first == pLB);
1683 CPPUNIT_ASSERT(it->second ==
false);
1685 CPPUNIT_ASSERT(it->first == pLA);
1686 CPPUNIT_ASSERT(it->second ==
false);
1688 CPPUNIT_ASSERT(it->first == pLE);
1689 CPPUNIT_ASSERT(it->second ==
false);
1691 CPPUNIT_ASSERT(it == sortedSet11.end());
1694 sortedSet12.insert(std::pair<CNormalLogicalItem*, bool>(pLA,
false));
1695 sortedSet12.insert(std::pair<CNormalLogicalItem*, bool>(pLNotB,
false));
1696 sortedSet12.insert(std::pair<CNormalLogicalItem*, bool>(pLE,
false));
1697 sortedSet12.insert(std::pair<CNormalLogicalItem*, bool>(pLNotD,
false));
1698 sortedSet12.insert(std::pair<CNormalLogicalItem*, bool>(pLC,
false));
1699 sortedSet12.insert(std::pair<CNormalLogicalItem*, bool>(pLF,
false));
1700 it = sortedSet12.begin();
1701 CPPUNIT_ASSERT(it->first == pLNotD);
1702 CPPUNIT_ASSERT(it->second ==
false);
1704 CPPUNIT_ASSERT(it->first == pLC);
1705 CPPUNIT_ASSERT(it->second ==
false);
1707 CPPUNIT_ASSERT(it->first == pLNotB);
1708 CPPUNIT_ASSERT(it->second ==
false);
1710 CPPUNIT_ASSERT(it->first == pLF);
1711 CPPUNIT_ASSERT(it->second ==
false);
1713 CPPUNIT_ASSERT(it->first == pLA);
1714 CPPUNIT_ASSERT(it->second ==
false);
1716 CPPUNIT_ASSERT(it->first == pLE);
1717 CPPUNIT_ASSERT(it->second ==
false);
1719 CPPUNIT_ASSERT(it == sortedSet12.end());
1724 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
false);
1725 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1726 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
false);
1727 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1728 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1729 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1730 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1731 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
true);
1732 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
false);
1733 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
false);
1734 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1735 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1738 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1739 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1740 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
true);
1741 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
true);
1742 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
true);
1743 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
true);
1744 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
true);
1745 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
true);
1746 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1747 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1748 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1749 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
true);
1752 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1753 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1754 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
false);
1755 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
true);
1756 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1757 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1758 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
true);
1759 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
true);
1760 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1761 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1762 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1763 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1766 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1767 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1768 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
false);
1769 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1770 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1771 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1772 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
true);
1773 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
true);
1774 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1775 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1776 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1777 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1780 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1781 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1782 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
true);
1783 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
true);
1784 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1785 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
true);
1786 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
true);
1787 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
true);
1788 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1789 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1790 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1791 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1794 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1795 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1796 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
true);
1797 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
true);
1798 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1799 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1800 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
true);
1801 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
true);
1802 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1803 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1804 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1805 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1808 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1809 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1810 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
false);
1811 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1812 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1813 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1814 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1815 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
true);
1816 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1817 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1818 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1819 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1822 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
false);
1823 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1824 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
false);
1825 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1826 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1827 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1828 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1829 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1830 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
false);
1831 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
false);
1832 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1833 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1836 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1837 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1838 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
false);
1839 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1840 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1841 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1842 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1843 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
true);
1844 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
false);
1845 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
false);
1846 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1847 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1850 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1851 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1852 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
false);
1853 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1854 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1855 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1856 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1857 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
true);
1858 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1859 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
false);
1860 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1861 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1864 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
false);
1865 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1866 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
false);
1867 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
false);
1868 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
false);
1869 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
false);
1870 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
false);
1871 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
false);
1872 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
false);
1873 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
false);
1874 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
false);
1875 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1878 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false)) ==
true);
1879 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false)) ==
false);
1880 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false)) ==
true);
1881 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false)) ==
true);
1882 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false)) ==
true);
1883 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false)) ==
true);
1884 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false)) ==
true);
1885 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false)) ==
true);
1886 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false)) ==
true);
1887 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false)) ==
true);
1888 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false)) ==
true);
1889 CPPUNIT_ASSERT(sorter(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false), std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false)) ==
false);
1893 sset.insert(std::pair<CNormalLogical::ItemSet, bool>(sortedSet1,
false));
1894 sset.insert(std::pair<CNormalLogical::ItemSet, bool>(sortedSet2,
false));
1895 sset.insert(std::pair<CNormalLogical::ItemSet, bool>(sortedSet3,
false));
1896 sset.insert(std::pair<CNormalLogical::ItemSet, bool>(sortedSet4,
false));
1897 sset.insert(std::pair<CNormalLogical::ItemSet, bool>(sortedSet5,
false));
1898 sset.insert(std::pair<CNormalLogical::ItemSet, bool>(sortedSet6,
false));
1899 sset.insert(std::pair<CNormalLogical::ItemSet, bool>(sortedSet7,
false));
1900 sset.insert(std::pair<CNormalLogical::ItemSet, bool>(sortedSet8,
false));
1901 sset.insert(std::pair<CNormalLogical::ItemSet, bool>(sortedSet9,
false));
1902 sset.insert(std::pair<CNormalLogical::ItemSet, bool>(sortedSet10,
false));
1903 sset.insert(std::pair<CNormalLogical::ItemSet, bool>(sortedSet11,
false));
1904 sset.insert(std::pair<CNormalLogical::ItemSet, bool>(sortedSet12,
false));
1905 CPPUNIT_ASSERT(sset.size() == 12);
1906 CNormalLogical::ItemSetOfSets::iterator sit = sset.begin();
1907 CPPUNIT_ASSERT(sit->first == sortedSet2);
1908 CPPUNIT_ASSERT(sit->second ==
false);
1910 CPPUNIT_ASSERT(sit->first == sortedSet12);
1911 CPPUNIT_ASSERT(sit->second ==
false);
1913 CPPUNIT_ASSERT(sit->first == sortedSet5);
1914 CPPUNIT_ASSERT(sit->second ==
false);
1916 CPPUNIT_ASSERT(sit->first == sortedSet6);
1917 CPPUNIT_ASSERT(sit->second ==
false);
1919 CPPUNIT_ASSERT(sit->first == sortedSet3);
1920 CPPUNIT_ASSERT(sit->second ==
false);
1922 CPPUNIT_ASSERT(sit->first == sortedSet4);
1923 CPPUNIT_ASSERT(sit->second ==
false);
1925 CPPUNIT_ASSERT(sit->first == sortedSet7);
1926 CPPUNIT_ASSERT(sit->second ==
false);
1928 CPPUNIT_ASSERT(sit->first == sortedSet10);
1929 CPPUNIT_ASSERT(sit->second ==
false);
1931 CPPUNIT_ASSERT(sit->first == sortedSet9);
1932 CPPUNIT_ASSERT(sit->second ==
false);
1934 CPPUNIT_ASSERT(sit->first == sortedSet1);
1935 CPPUNIT_ASSERT(sit->second ==
false);
1937 CPPUNIT_ASSERT(sit->first == sortedSet8);
1938 CPPUNIT_ASSERT(sit->second ==
false);
1940 CPPUNIT_ASSERT(sit->first == sortedSet11);
1941 CPPUNIT_ASSERT(sit->second ==
false);
1943 CPPUNIT_ASSERT(sit == sset.end());
ChoiceSetOfSets & getChoices()
static CNormalFraction * normAndSimplifyReptdly(const CEvaluationTree *tree0, unsigned int depth=0)
static void cleanSetOfSets(TemplateSetOfSets< TYPE > &s)
bool multiply(const C_FLOAT64 &number)
virtual CNormalBase * copy() const
bool setRight(const CNormalFraction &right)
CNormalFraction & getLeft()
bool setLeft(const CNormalFraction &left)
bool setTrueExpression(const CNormalLogical &branch)
bool setFalseExpression(const CNormalLogical &branch)
static void cleanSet(const TemplateSet< TYPE > &s)
bool setCondition(const CNormalLogical &cond)
static void init(int argc, char *argv[], const bool &withGui=false)
CEvaluationNode * getRoot()
const std::set< CNormalProduct *, compareProducts > & getProducts() const
virtual bool setInfix(const std::string &infix)
CNormalFraction & getRight()
ItemSetOfSets & getAndSets()