Method | Description | |
---|---|---|
setUp ( ) : void | ||
testAimaExample ( ) : void | ||
testBasicSentenceTransformation ( ) : void | ||
testBiConditionalTransformation ( ) : void | ||
testDeMorgan1 ( ) : void | ||
testDeMorgan2 ( ) : void | ||
testFourSuccessiveNotsTransformation ( ) : void | ||
testImplicationTransformation ( ) : void | ||
testOrDistribution1 ( ) : void | ||
testOrDistribution2 ( ) : void | ||
testSymbolTransform ( ) : void | ||
testThreeSuccessiveNotsTransformation ( ) : void | ||
testTwoSuccessiveNotsTransformation ( ) : void |