Méthode |
Description |
|
setUp ( ) : void |
|
|
testAdditionalVariableMixtures ( ) : void |
|
|
testCascadedOccursCheck ( ) : void |
|
|
testConnectedSentence ( ) : void |
|
|
testFailureIfThetaisNull ( ) : void |
|
|
testKnows1 ( ) : void |
|
|
testKnows2 ( ) : void |
|
|
testKnows3 ( ) : void |
|
|
testKnows5 ( ) : void |
|
|
testNOTSentence ( ) : void |
|
|
testQuantifiedSentence ( ) : void |
|
|
testSimpleVariableUnification ( ) : void |
|
|
testTermEquality ( ) : void |
|
|
testThetaPassedBackIfXEqualsYBothVariables ( ) : void |
|
|
testUnificationFailure ( ) : void |
|
|
testVariableEqualsConstant ( ) : void |
|
|