Method |
Description |
|
getBrotherOfFunction ( Term t ) : Function |
|
|
getEnemyOfFunction ( ) : Function |
|
|
getKingPredicate ( Term t ) : Predicate |
|
|
getLegsOfFunction ( ) : Function |
|
|
setUp ( ) : void |
|
|
testComplexConnectedSentence1 ( ) : void |
|
|
testConnectedImplication ( ) : void |
|
|
testExtraParanthizedSentence ( ) : void |
|
|
testNotAllowedParseLeadingIndexedVariable ( ) : void |
|
|
testNotSentence ( ) : void |
|
|
testParseComplexParanthizedSentence ( ) : void |
|
|
testParseFunction ( ) : void |
|
|
testParseIndexedVariable ( ) : void |
|
|
testParseMultiArityFunction ( ) : void |
|
|
testParseMultiArityFunctionEquality ( ) : void |
|
|
testParseSimpleConnectedSentence ( ) : void |
|
|
testParseSimpleConstant ( ) : void |
|
|
testParseSimpleVariable ( ) : void |
|
|
testPredicate ( ) : void |
|
|
testQuantifiedSentenceWithPathologicalParanthising ( ) : void |
|
|
testQuantifiedSentenceWithSingleVariable ( ) : void |
|
|
testQuantifiedSentenceWithTwoVariables ( ) : void |
|
|
testSimpleParanthizedSentence ( ) : void |
|
|
testTermEquality ( ) : void |
|
|
testTermEquality2 ( ) : void |
|
|