| Method | 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 |