java.lang.Object

com.semedy.reasoner.reasoning.AbstractTestTemplate1

com.semedy.reasoner.reasoning.Logic

public class Logic extends AbstractTestTemplate1

Constructor Summary

Constructors

Constructor

Description

Logic()
Method Summary

Modifier and Type

Method

Description

void

tes37()

void

test1()

void

test10()

void

test100()

void

test101()

void

test102()

void

test103()

void

test104()

void

test105()

void

test106()

void

test107()

void

test108()

void

test109()

void

test11()

void

test110()

void

test111()

void

test113()

void

test114()

void

test115()

void

test116()

void

test117()

void

test118()

void

test119()

void

test11a()

void

test12()

void

test120()

void

test121()

void

test122()

void

test123()

void

test124()

void

test125()

void

test126()

void

test127()

void

test128()

void

test129()

void

test13()

void

test130()

void

test131()

void

test132()

void

test133()

void

test134()

void

test135()

void

test136()

void

test137()

void

test138()

void

test139()

void

test14()

void

test140()

void

test141()

void

test142()

void

test143()

void

test144()

void

test145()

void

test145a()

void

test146()

void

test147()

void

test148()

void

test15()

void

test150()

void

test151()

void

test152()

void

test154()

void

test155()

void

test156()

void

test157()

void

test158()

void

test158a()

void

test16()

void

test160()

void

test162()

void

test163()

void

test164()

void

test166()

void

test169()

void

test17()

void

test170()

void

test171()

void

test172()

void

test173()

void

test174()

void

test175()

void

test176()

void

test177()

void

test177a()

void

test178()

void

test179()

void

test18()

void

test180()

void

test180a()

void

test181()

void

test181a()

void

test182()

void

test183()

void

test184()

void

test185()

void

test186()

void

test187()

void

test188()

void

test189()

void

test19()

void

test1a()

void

test1b()

void

test1c()

void

test2()

void

test20()

void

test200()

void

test201()

void

test202()

void

test203()

void

test204()

void

test205()

void

test206()

void

test207()

void

test208()

void

test209()

void

test21()

void

test210()

void

test211()

void

test212()

void

test213()

void

test213a()

void

test214()

void

test215()

void

test216()

void

test217()

void

test218()

void

test219()

void

test22()

void

test220()

void

test221()

void

test221b()

void

test222()

void

test223()

void

test224()

void

test225()

void

test226()

void

test227()

void

test227a()

void

test228()

void

test229()

void

test23()

void

test230()

void

test231()

void

test232()

void

test233()

void

test234()

void

test235()

void

test236()

void

test236a()

void

test237()

void

test238()

void

test239()

void

test23a()

void

test23b()

void

test24()

void

test240()

void

test241()

void

test242()

void

test243()

void

test244()

void

test245()

void

test246()

void

test247()

void

test248()

void

test249()

void

test25()

void

test250()

void

test250a()

void

test251()

void

test252()

void

test253()

void

test254()

void

test255()

void

test256()

void

test257()

void

test258()

void

test259()

void

test26()

void

test260()

void

test261()

void

test262a()

void

test263()

void

test264()

void

test265()

void

test266()

void

test267()

void

test268()

void

test269()

void

test269a()

void

test27()

void

test270()

void

test271()

void

test272()

void

test273()

void

test274()

void

test275()

void

test276()

void

test277()

void

test278()

void

test279()

void

test28()

void

test280()

void

test281()

void

test281a()

void

test281b()

void

test282()

void

test283()

void

test284()

void

test285()

void

test286()

void

test287()

void

test288()

void

test289()

void

test29()

void

test290()

void

test291()

void

test292()

void

test293()

void

test294()

void

test295()

void

test296()

void

test297()

void

test298()

void

test299()

void

test2b()

void

test3()

void

test30()

void

test300()

void

test301()

void

test302()

void

test303()

void

test305()

void

test305b()

void

test306()

void

test307()

void

test308()

void

test309()

void

test31()

void

test310()

void

test311()

void

test312()

void

test313()

void

test314()

void

test315()

void

test316()

void

test317()

void

test318()

void

test319()

void

test32()

void

test320()

void

test321()

void

test322()

void

test323()

void

test324()

void

test325()

void

test327a()

void

test328()

void

test329()

void

test32a()

void

test33()

void

test330()

void

test331()

void

test331a()

void

test332()

void

test333()

void

test334()

void

test335()

void

test336()

void

test337()

void

test338()

void

test339()

void

test34()

void

test340()

void

test341()

void

test342()

void

test343()

void

test344()

void

test345()

void

test346()

void

test347()

void

test348()

void

test35()

void

test350()

void

test351()

void

test352()

void

test353()

void

test354()

void

test355()

void

test356()

void

test357()

void

test358()

void

test36()

void

test36a()

void

test38()

void

test39()

void

test39a()

void

test39b()

void

test39c()

void

test39d()

void

test39e()

void

test4()

void

test40()

void

test42()

void

test43()

void

test44()

void

test45()

void

test45a()

void

test46()

void

test47()

void

test48()

void

test49()

void

test5()

void

test50()

void

test51()

void

test52()

void

test53()

void

test54()

void

test55()

void

test56()

void

test58()

void

test59()

void

test6()

void

test60()

void

test61()

void

test61a()

void

test62()

void

test63()

void

test64()

void

test65()

void

test66()

void

test67()

void

test68()

void

test69()

void

test7()

void

test71()

void

test72()

void

test73()

void

test74()

void

test75()

void

test75a()

void

test75b()

void

test75c()

void

test76()

void

test77()

void

test78()

void

test79()

void

test8()

void

test80()

void

test81()

void

test82()

void

test84()

void

test85()

void

test86()

void

test87()

void

test88()

void

test89()

void

test9()

void

test90()

void

test90a()

void

test91()

void

test92()

void

test93()

void

test94()

void

test95()

void

test96()

void

test97()

void

test98()

void

test99()

void

testaa()

void

testExternalDatatype()

Methods inherited from class com.semedy.reasoner.reasoning.AbstractTestTemplate1
deleteDir, eval, eval, eval, eval, eval, eval, eval, evalWithoutResults, setUp, tearDown

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- Logic
  
  public Logic()
Method Details
- testaa
  
  public void testaa() throws Exception
  
  Throws:
  
  Exception
- test1
  
  public void test1() throws Exception
  
  Throws:
  
  Exception
- test1a
  
  public void test1a() throws Exception
  
  Throws:
  
  Exception
- test1b
  
  public void test1b() throws Exception
  
  Throws:
  
  Exception
- test1c
  
  public void test1c() throws Exception
  
  Throws:
  
  Exception
- test2
  
  public void test2() throws Exception
  
  Throws:
  
  Exception
- test2b
  
  public void test2b() throws Exception
  
  Throws:
  
  Exception
- test3
  
  public void test3() throws Exception
  
  Throws:
  
  Exception
- test4
  
  public void test4() throws Exception
  
  Throws:
  
  Exception
- test5
  
  public void test5() throws Exception
  
  Throws:
  
  Exception
- test6
  
  public void test6() throws Exception
  
  Throws:
  
  Exception
- test7
  
  public void test7() throws Exception
  
  Throws:
  
  Exception
- test8
  
  public void test8() throws Exception
  
  Throws:
  
  Exception
- test9
  
  public void test9() throws Exception
  
  Throws:
  
  Exception
- test10
  
  public void test10() throws Exception
  
  Throws:
  
  Exception
- test11
  
  public void test11() throws Exception
  
  Throws:
  
  Exception
- test11a
  
  public void test11a() throws Exception
  
  Throws:
  
  Exception
- test12
  
  public void test12() throws Exception
  
  Throws:
  
  Exception
- test13
  
  public void test13() throws Exception
  
  Throws:
  
  Exception
- test14
  
  public void test14() throws Exception
  
  Throws:
  
  Exception
- test15
  
  public void test15() throws Exception
  
  Throws:
  
  Exception
- test16
  
  public void test16() throws Exception
  
  Throws:
  
  Exception
- test17
  
  public void test17() throws Exception
  
  Throws:
  
  Exception
- test18
  
  public void test18() throws Exception
  
  Throws:
  
  Exception
- test19
  
  public void test19() throws Exception
  
  Throws:
  
  Exception
- test20
  
  public void test20() throws Exception
  
  Throws:
  
  Exception
- test21
  
  public void test21() throws Exception
  
  Throws:
  
  Exception
- test22
  
  public void test22() throws Exception
  
  Throws:
  
  Exception
- test23
  
  public void test23() throws Exception
  
  Throws:
  
  Exception
- test23a
  
  public void test23a() throws Exception
  
  Throws:
  
  Exception
- test23b
  
  public void test23b() throws Exception
  
  Throws:
  
  Exception
- test24
  
  public void test24() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test25
  
  public void test25() throws Exception
  
  Throws:
  
  Exception
- test26
  
  public void test26() throws Exception
  
  Throws:
  
  Exception
- test27
  
  public void test27() throws Exception
  
  Throws:
  
  Exception
- test28
  
  public void test28() throws Exception
  
  Throws:
  
  Exception
- test29
  
  public void test29() throws Exception
  
  Throws:
  
  Exception
- test30
  
  public void test30() throws Exception
  
  Throws:
  
  Exception
- test31
  
  public void test31() throws Exception
  
  Throws:
  
  Exception
- test32a
  
  public void test32a() throws Exception
  
  Throws:
  
  Exception
- test33
  
  public void test33() throws Exception
  
  Throws:
  
  Exception
- test32
  
  public void test32() throws Exception
  
  Throws:
  
  Exception
- test34
  
  public void test34() throws Exception
  
  Throws:
  
  Exception
- test35
  
  public void test35() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test36
  
  public void test36() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test36a
  
  public void test36a() throws ReasoningException
  
  Throws:
  
  ReasoningException
- tes37
  
  public void tes37() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test38
  
  public void test38() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test39
  
  public void test39() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test39a
  
  public void test39a() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test39b
  
  public void test39b() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test39c
  
  public void test39c() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test39e
  
  public void test39e() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test39d
  
  public void test39d() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test40
  
  public void test40() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test42
  
  public void test42() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test43
  
  public void test43() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test44
  
  public void test44() throws Exception
  
  Throws:
  
  Exception
- test45
  
  public void test45() throws Exception
  
  Throws:
  
  Exception
- test45a
  
  public void test45a() throws Exception
  
  Throws:
  
  Exception
- test46
  
  public void test46() throws Exception
  
  Throws:
  
  Exception
- test47
  
  public void test47() throws Exception
  
  Throws:
  
  Exception
- test48
  
  public void test48() throws Exception
  
  Throws:
  
  Exception
- test49
  
  public void test49() throws Exception
  
  Throws:
  
  Exception
- test50
  
  public void test50() throws Exception
  
  Throws:
  
  Exception
- test51
  
  public void test51() throws Exception
  
  Throws:
  
  Exception
- test52
  
  public void test52() throws Exception
  
  Throws:
  
  Exception
- test53
  
  public void test53()
- test54
  
  public void test54() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test55
  
  public void test55()
- test56
  
  public void test56()
- test58
  
  public void test58()
- test59
  
  public void test59()
- test60
  
  public void test60()
- test61
  
  public void test61()
- test61a
  
  public void test61a()
- test62
  
  public void test62()
- test63
  
  public void test63()
- test64
  
  public void test64() throws Exception
  
  Throws:
  
  Exception
- test65
  
  public void test65() throws Exception
  
  Throws:
  
  Exception
- test66
  
  public void test66() throws Exception
  
  Throws:
  
  Exception
- test67
  
  public void test67() throws Exception
  
  Throws:
  
  Exception
- test68
  
  public void test68() throws Exception
  
  Throws:
  
  Exception
- test69
  
  public void test69() throws Exception
  
  Throws:
  
  Exception
- test71
  
  public void test71() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test72
  
  public void test72() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test73
  
  public void test73() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test74
  
  public void test74() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test75
  
  public void test75() throws Exception
  
  Throws:
  
  Exception
- test75a
  
  public void test75a() throws Exception
  
  Throws:
  
  Exception
- test75b
  
  public void test75b() throws Exception
  
  Throws:
  
  Exception
- test75c
  
  public void test75c() throws Exception
  
  Throws:
  
  Exception
- test76
  
  public void test76() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test77
  
  public void test77() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test78
  
  public void test78() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test79
  
  public void test79() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test80
  
  public void test80() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test81
  
  public void test81() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test82
  
  public void test82() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test84
  
  public void test84() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test85
  
  public void test85() throws Exception
  
  Throws:
  
  Exception
- test86
  
  public void test86() throws Exception
  
  Throws:
  
  Exception
- test87
  
  public void test87() throws Exception
  
  Throws:
  
  Exception
- test88
  
  public void test88() throws Exception
  
  Throws:
  
  Exception
- test89
  
  public void test89() throws Exception
  
  Throws:
  
  Exception
- test90
  
  public void test90() throws Exception
  
  Throws:
  
  Exception
- test90a
  
  public void test90a() throws Exception
  
  Throws:
  
  Exception
- test91
  
  public void test91() throws Exception
  
  Throws:
  
  Exception
- test92
  
  public void test92() throws Exception
  
  Throws:
  
  Exception
- test93
  
  public void test93() throws Exception
  
  Throws:
  
  Exception
- test94
  
  public void test94() throws Exception
  
  Throws:
  
  Exception
- test95
  
  public void test95() throws Exception
  
  Throws:
  
  Exception
- test96
  
  public void test96() throws Exception
  
  Throws:
  
  Exception
- test97
  
  public void test97() throws Exception
  
  Throws:
  
  Exception
- test98
  
  public void test98() throws Exception
  
  Throws:
  
  Exception
- test99
  
  public void test99() throws Exception
  
  Throws:
  
  Exception
- test100
  
  public void test100() throws Exception
  
  Throws:
  
  Exception
- test101
  
  public void test101() throws Exception
  
  Throws:
  
  Exception
- test102
  
  public void test102() throws Exception
  
  Throws:
  
  Exception
- test103
  
  public void test103() throws Exception
  
  Throws:
  
  Exception
- test104
  
  public void test104() throws Exception
  
  Throws:
  
  Exception
- test105
  
  public void test105() throws Exception
  
  Throws:
  
  Exception
- test106
  
  public void test106() throws Exception
  
  Throws:
  
  Exception
- test107
  
  public void test107() throws Exception
  
  Throws:
  
  Exception
- test108
  
  public void test108() throws Exception
  
  Throws:
  
  Exception
- test109
  
  public void test109() throws Exception
  
  Throws:
  
  Exception
- test110
  
  public void test110() throws Exception
  
  Throws:
  
  Exception
- test111
  
  public void test111() throws Exception
  
  Throws:
  
  Exception
- test113
  
  public void test113() throws Exception
  
  Throws:
  
  Exception
- test114
  
  public void test114()
- test115
  
  public void test115()
- test116
  
  public void test116() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test117
  
  public void test117()
- test118
  
  public void test118() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test119
  
  public void test119()
- test120
  
  public void test120() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test121
  
  public void test121()
- test122
  
  public void test122()
- test123
  
  public void test123()
- test124
  
  public void test124()
- test125
  
  public void test125() throws Exception
  
  Throws:
  
  Exception
- test126
  
  public void test126() throws Exception
  
  Throws:
  
  Exception
- test127
  
  public void test127() throws Exception
  
  Throws:
  
  Exception
- test128
  
  public void test128() throws Exception
  
  Throws:
  
  Exception
- test129
  
  public void test129() throws Exception
  
  Throws:
  
  Exception
- test130
  
  public void test130() throws Exception
  
  Throws:
  
  Exception
- test131
  
  public void test131() throws Exception
  
  Throws:
  
  Exception
- test132
  
  public void test132() throws Exception
  
  Throws:
  
  Exception
- test133
  
  public void test133() throws Exception
  
  Throws:
  
  Exception
- test134
  
  public void test134() throws Exception
  
  Throws:
  
  Exception
- test135
  
  public void test135() throws Exception
  
  Throws:
  
  Exception
- test136
  
  public void test136() throws Exception
  
  Throws:
  
  Exception
- test137
  
  public void test137() throws Exception
  
  Throws:
  
  Exception
- test138
  
  public void test138() throws Exception
  
  Throws:
  
  Exception
- test139
  
  public void test139() throws Exception
  
  Throws:
  
  Exception
- test140
  
  public void test140() throws Exception
  
  Throws:
  
  Exception
- test141
  
  public void test141() throws Exception
  
  Throws:
  
  Exception
- test142
  
  public void test142() throws Exception
  
  Throws:
  
  Exception
- test143
  
  public void test143() throws Exception
  
  Throws:
  
  Exception
- test144
  
  public void test144() throws Exception
  
  Throws:
  
  Exception
- test145
  
  public void test145() throws Exception
  
  Throws:
  
  Exception
- test145a
  
  public void test145a() throws Exception
  
  Throws:
  
  Exception
- test146
  
  public void test146() throws Exception
  
  Throws:
  
  Exception
- test147
  
  public void test147() throws Exception
  
  Throws:
  
  Exception
- test148
  
  public void test148() throws Exception
  
  Throws:
  
  Exception
- test150
  
  public void test150() throws Exception
  
  Throws:
  
  Exception
- test151
  
  public void test151() throws Exception
  
  Throws:
  
  Exception
- test152
  
  public void test152() throws Exception
  
  Throws:
  
  Exception
- test154
  
  public void test154() throws Exception
  
  Throws:
  
  Exception
- test155
  
  public void test155() throws Exception
  
  Throws:
  
  Exception
- test156
  
  public void test156() throws Exception
  
  Throws:
  
  Exception
- test157
  
  public void test157() throws Exception
  
  Throws:
  
  Exception
- test158
  
  public void test158() throws Exception
  
  Throws:
  
  Exception
- test158a
  
  public void test158a() throws Exception
  
  Throws:
  
  Exception
- test160
  
  public void test160() throws Exception
  
  Throws:
  
  Exception
- test162
  
  public void test162() throws Exception
  
  Throws:
  
  Exception
- test163
  
  public void test163() throws Exception
  
  Throws:
  
  Exception
- test164
  
  public void test164() throws Exception
  
  Throws:
  
  Exception
- test166
  
  public void test166() throws Exception
  
  Throws:
  
  Exception
- test169
  
  public void test169() throws Exception
  
  Throws:
  
  Exception
- test170
  
  public void test170() throws Exception
  
  Throws:
  
  Exception
- test171
  
  public void test171() throws Exception
  
  Throws:
  
  Exception
- test172
  
  public void test172() throws Exception
  
  Throws:
  
  Exception
- test173
  
  public void test173() throws Exception
  
  Throws:
  
  Exception
- test174
  
  public void test174() throws Exception
  
  Throws:
  
  Exception
- test175
  
  public void test175() throws Exception
  
  Throws:
  
  Exception
- test176
  
  public void test176() throws Exception
  
  Throws:
  
  Exception
- test177
  
  public void test177() throws Exception
  
  Throws:
  
  Exception
- test177a
  
  public void test177a() throws Exception
  
  Throws:
  
  Exception
- test178
  
  public void test178() throws Exception
  
  Throws:
  
  Exception
- test179
  
  public void test179() throws Exception
  
  Throws:
  
  Exception
- test180
  
  public void test180() throws Exception
  
  Throws:
  
  Exception
- test180a
  
  public void test180a() throws Exception
  
  Throws:
  
  Exception
- test181
  
  public void test181() throws Exception
  
  Throws:
  
  Exception
- test181a
  
  public void test181a() throws Exception
  
  Throws:
  
  Exception
- test182
  
  public void test182() throws Exception
  
  Throws:
  
  Exception
- test183
  
  public void test183() throws Exception
  
  Throws:
  
  Exception
- test184
  
  public void test184() throws Exception
  
  Throws:
  
  Exception
- test185
  
  public void test185() throws Exception
  
  Throws:
  
  Exception
- test186
  
  public void test186() throws Exception
  
  Throws:
  
  Exception
- test187
  
  public void test187() throws Exception
  
  Throws:
  
  Exception
- test188
  
  public void test188() throws Exception
  
  Throws:
  
  Exception
- test189
  
  public void test189() throws Exception
  
  Throws:
  
  Exception
- test200
  
  public void test200() throws Exception
  
  Throws:
  
  Exception
- test201
  
  public void test201() throws Exception
  
  Throws:
  
  Exception
- test202
  
  public void test202() throws Exception
  
  Throws:
  
  Exception
- test203
  
  public void test203() throws Exception
  
  Throws:
  
  Exception
- test204
  
  public void test204() throws Exception
  
  Throws:
  
  Exception
- test205
  
  public void test205() throws Exception
  
  Throws:
  
  Exception
- test206
  
  public void test206() throws Exception
  
  Throws:
  
  Exception
- test207
  
  public void test207() throws Exception
  
  Throws:
  
  Exception
- test208
  
  public void test208() throws Exception
  
  Throws:
  
  Exception
- test209
  
  public void test209() throws Exception
  
  Throws:
  
  Exception
- test210
  
  public void test210() throws Exception
  
  Throws:
  
  Exception
- test211
  
  public void test211() throws Exception
  
  Throws:
  
  Exception
- test212
  
  public void test212() throws Exception
  
  Throws:
  
  Exception
- test213
  
  public void test213() throws Exception
  
  Throws:
  
  Exception
- test213a
  
  public void test213a() throws Exception
  
  Throws:
  
  Exception
- test214
  
  public void test214() throws Exception
  
  Throws:
  
  Exception
- test215
  
  public void test215() throws Exception
  
  Throws:
  
  Exception
- test216
  
  public void test216() throws Exception
  
  Throws:
  
  Exception
- test217
  
  public void test217() throws Exception
  
  Throws:
  
  Exception
- test218
  
  public void test218() throws Exception
  
  Throws:
  
  Exception
- test219
  
  public void test219() throws Exception
  
  Throws:
  
  Exception
- test220
  
  public void test220() throws Exception
  
  Throws:
  
  Exception
- test221
  
  public void test221() throws Exception
  
  Throws:
  
  Exception
- test221b
  
  public void test221b() throws Exception
  
  Throws:
  
  Exception
- test222
  
  public void test222() throws Exception
  
  Throws:
  
  Exception
- test223
  
  public void test223() throws Exception
  
  Throws:
  
  Exception
- test224
  
  public void test224() throws Exception
  
  Throws:
  
  Exception
- test225
  
  public void test225() throws Exception
  
  Throws:
  
  Exception
- test226
  
  public void test226() throws Exception
  
  Throws:
  
  Exception
- test227
  
  public void test227() throws Exception
  
  Throws:
  
  Exception
- test227a
  
  public void test227a() throws Exception
  
  Throws:
  
  Exception
- test228
  
  public void test228() throws Exception
  
  Throws:
  
  Exception
- test229
  
  public void test229() throws Exception
  
  Throws:
  
  Exception
- test230
  
  public void test230() throws Exception
  
  Throws:
  
  Exception
- test231
  
  public void test231() throws Exception
  
  Throws:
  
  Exception
- test232
  
  public void test232() throws Exception
  
  Throws:
  
  Exception
- test233
  
  public void test233() throws Exception
  
  Throws:
  
  Exception
- test234
  
  public void test234() throws Exception
  
  Throws:
  
  Exception
- test235
  
  public void test235() throws Exception
  
  Throws:
  
  Exception
- test236
  
  public void test236() throws Exception
  
  Throws:
  
  Exception
- test236a
  
  public void test236a() throws Exception
  
  Throws:
  
  Exception
- test237
  
  public void test237() throws Exception
  
  Throws:
  
  Exception
- test238
  
  public void test238() throws Exception
  
  Throws:
  
  Exception
- test239
  
  public void test239() throws Exception
  
  Throws:
  
  Exception
- test240
  
  public void test240() throws Exception
  
  Throws:
  
  Exception
- test241
  
  public void test241() throws Exception
  
  Throws:
  
  Exception
- test242
  
  public void test242() throws Exception
  
  Throws:
  
  Exception
- test243
  
  public void test243() throws Exception
  
  Throws:
  
  Exception
- test244
  
  public void test244() throws Exception
  
  Throws:
  
  Exception
- test245
  
  public void test245() throws Exception
  
  Throws:
  
  Exception
- test246
  
  public void test246() throws Exception
  
  Throws:
  
  Exception
- test247
  
  public void test247() throws Exception
  
  Throws:
  
  Exception
- test248
  
  public void test248() throws Exception
  
  Throws:
  
  Exception
- test249
  
  public void test249() throws Exception
  
  Throws:
  
  Exception
- test250
  
  public void test250() throws Exception
  
  Throws:
  
  Exception
- test250a
  
  public void test250a() throws Exception
  
  Throws:
  
  Exception
- test251
  
  public void test251() throws Exception
  
  Throws:
  
  Exception
- test252
  
  public void test252() throws Exception
  
  Throws:
  
  Exception
- test253
  
  public void test253() throws Exception
  
  Throws:
  
  Exception
- test254
  
  public void test254() throws Exception
  
  Throws:
  
  Exception
- test255
  
  public void test255() throws Exception
  
  Throws:
  
  Exception
- test256
  
  public void test256() throws Exception
  
  Throws:
  
  Exception
- test257
  
  public void test257() throws Exception
  
  Throws:
  
  Exception
- test258
  
  public void test258() throws Exception
  
  Throws:
  
  Exception
- test259
  
  public void test259() throws Exception
  
  Throws:
  
  Exception
- test260
  
  public void test260() throws Exception
  
  Throws:
  
  Exception
- test261
  
  public void test261() throws Exception
  
  Throws:
  
  Exception
- test262a
  
  public void test262a() throws Exception
  
  Throws:
  
  Exception
- test263
  
  public void test263() throws Exception
  
  Throws:
  
  Exception
- test264
  
  public void test264() throws Exception
  
  Throws:
  
  Exception
- test265
  
  public void test265() throws Exception
  
  Throws:
  
  Exception
- test266
  
  public void test266() throws Exception
  
  Throws:
  
  Exception
- test267
  
  public void test267() throws Exception
  
  Throws:
  
  Exception
- test268
  
  public void test268() throws Exception
  
  Throws:
  
  Exception
- test269
  
  public void test269() throws Exception
  
  Throws:
  
  Exception
- test269a
  
  public void test269a() throws Exception
  
  Throws:
  
  Exception
- test270
  
  public void test270() throws Exception
  
  Throws:
  
  Exception
- test271
  
  public void test271() throws Exception
  
  Throws:
  
  Exception
- test272
  
  public void test272() throws Exception
  
  Throws:
  
  Exception
- test273
  
  public void test273() throws Exception
  
  Throws:
  
  Exception
- test274
  
  public void test274() throws Exception
  
  Throws:
  
  Exception
- test275
  
  public void test275() throws Exception
  
  Throws:
  
  Exception
- test276
  
  public void test276() throws Exception
  
  Throws:
  
  Exception
- test277
  
  public void test277() throws Exception
  
  Throws:
  
  Exception
- test278
  
  public void test278() throws Exception
  
  Throws:
  
  Exception
- test279
  
  public void test279() throws Exception
  
  Throws:
  
  Exception
- test280
  
  public void test280() throws Exception
  
  Throws:
  
  Exception
- test281a
  
  public void test281a() throws Exception
  
  Throws:
  
  Exception
- test281b
  
  public void test281b() throws Exception
  
  Throws:
  
  Exception
- test281
  
  public void test281() throws Exception
  
  Throws:
  
  Exception
- test282
  
  public void test282() throws Exception
  
  Throws:
  
  Exception
- test283
  
  public void test283() throws Exception
  
  Throws:
  
  Exception
- test284
  
  public void test284() throws Exception
  
  Throws:
  
  Exception
- test285
  
  public void test285() throws Exception
  
  Throws:
  
  Exception
- test286
  
  public void test286() throws Exception
  
  Throws:
  
  Exception
- test287
  
  public void test287() throws Exception
  
  Throws:
  
  Exception
- test288
  
  public void test288() throws Exception
  
  Throws:
  
  Exception
- test289
  
  public void test289() throws Exception
  
  Throws:
  
  Exception
- test290
  
  public void test290() throws Exception
  
  Throws:
  
  Exception
- test291
  
  public void test291() throws Exception
  
  Throws:
  
  Exception
- test292
  
  public void test292() throws Exception
  
  Throws:
  
  Exception
- test293
  
  public void test293() throws Exception
  
  Throws:
  
  Exception
- test294
  
  public void test294() throws Exception
  
  Throws:
  
  Exception
- test295
  
  public void test295() throws Exception
  
  Throws:
  
  Exception
- test296
  
  public void test296() throws Exception
  
  Throws:
  
  Exception
- test297
  
  public void test297() throws Exception
  
  Throws:
  
  Exception
- test298
  
  public void test298() throws Exception
  
  Throws:
  
  Exception
- test299
  
  public void test299() throws Exception
  
  Throws:
  
  Exception
- test300
  
  public void test300() throws Exception
  
  Throws:
  
  Exception
- test301
  
  public void test301() throws Exception
  
  Throws:
  
  Exception
- test302
  
  public void test302() throws Exception
  
  Throws:
  
  Exception
- test303
  
  public void test303() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test305
  
  public void test305() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test305b
  
  public void test305b() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test306
  
  public void test306() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test307
  
  public void test307() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test308
  
  public void test308() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test309
  
  public void test309() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test311
  
  public void test311() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test310
  
  public void test310() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test312
  
  public void test312() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test313
  
  public void test313() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test314
  
  public void test314() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test315
  
  public void test315() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test316
  
  public void test316() throws ReasoningException
  
  Throws:
  
  ReasoningException
- testExternalDatatype
  
  public void testExternalDatatype() throws Exception
  
  Throws:
  
  Exception
- test317
  
  public void test317() throws Exception
  
  Throws:
  
  Exception
- test318
  
  public void test318() throws Exception
  
  Throws:
  
  Exception
- test319
  
  public void test319() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test320
  
  public void test320() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test321
  
  public void test321() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test322
  
  public void test322() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test323
  
  public void test323() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test324
  
  public void test324() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test325
  
  public void test325() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test328
  
  public void test328() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test329
  
  public void test329() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test327a
  
  public void test327a() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test330
  
  public void test330() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test331
  
  public void test331() throws ReasoningException, IOException, SemReasonerException, InterruptedException
  
  Throws:
  
  ReasoningException
  
  IOException
  
  SemReasonerException
  
  InterruptedException
- test331a
  
  public void test331a() throws ReasoningException, IOException, SemReasonerException, InterruptedException
  
  Throws:
  
  ReasoningException
  
  IOException
  
  SemReasonerException
  
  InterruptedException
- test332
  
  public void test332() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test333
  
  public void test333() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test334
  
  public void test334() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test335
  
  public void test335() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test336
  
  public void test336() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test337
  
  public void test337() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test338
  
  public void test338() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test339
  
  public void test339() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test340
  
  public void test340() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test341
  
  public void test341() throws ReasoningException
  
  Throws:
  
  ReasoningException
- test342
  
  public void test342() throws Exception
  
  Throws:
  
  Exception
- test343
  
  public void test343() throws Exception
  
  Throws:
  
  Exception
- test344
  
  public void test344() throws Exception
  
  Throws:
  
  Exception
- test345
  
  public void test345() throws Exception
  
  Throws:
  
  Exception
- test346
  
  public void test346() throws Exception
  
  Throws:
  
  Exception
- test347
  
  public void test347() throws Exception
  
  Throws:
  
  Exception
- test348
  
  public void test348() throws Exception
  
  Throws:
  
  Exception
- test350
  
  public void test350() throws Exception
  
  Throws:
  
  Exception
- test351
  
  public void test351() throws Exception
  
  Throws:
  
  Exception
- test352
  
  public void test352() throws Exception
  
  Throws:
  
  Exception
- test353
  
  public void test353() throws Exception
  
  Throws:
  
  Exception
- test354
  
  public void test354() throws Exception
  
  Throws:
  
  Exception
- test355
  
  public void test355() throws Exception
  
  Throws:
  
  Exception
- test356
  
  public void test356() throws Exception
  
  Throws:
  
  Exception
- test357
  
  public void test357() throws Exception
  
  Throws:
  
  Exception
- test358
  
  public void test358() throws Exception
  
  Throws:
  
  Exception

Class Logic

Constructor Summary

Method Summary

Methods inherited from class com.semedy.reasoner.reasoning.AbstractTestTemplate1

Methods inherited from class java.lang.Object

Constructor Details

Logic

Method Details

testaa

test1

test1a

test1b

test1c

test2

test2b

test3

test4

test5

test6

test7

test8

test9

test10

test11

test11a

test12

test13

test14

test15

test16

test17

test18

test19

test20

test21

test22

test23

test23a

test23b

test24

test25

test26

test27

test28

test29

test30

test31

test32a

test33

test32

test34

test35

test36

test36a

tes37

test38

test39

test39a

test39b

test39c

test39e

test39d

test40

test42

test43

test44

test45

test45a

test46

test47

test48

test49

test50

test51

test52

test53

test54

test55

test56

test58