Method |
Description |
|
setUp ( ) : void |
|
|
testConnectiveANDSentenceAndSngleVariable ( ) : void |
|
|
testMultipleVariablePartiallySucceedsWithPredicate ( ) : void |
|
|
testMultipleVariableSubstitutionWithPredicate ( ) : void |
|
|
testParanthisedSingleVariable ( ) : void |
|
|
testSubstSingleVariableFailsWithPredicate ( ) : void |
|
|
testSubstSingleVariableSucceedsWithPredicate ( ) : void |
|
|
testSubstSingleVariableSucceedsWithTermEquality ( ) : void |
|
|
testSubstSingleVariableSucceedsWithTermEquality2 ( ) : void |
|
|
testSubstWithExistentialQuantifierAndSngleVariable ( ) : void |
|
|
testSubstWithNOTSentenceAndSngleVariable ( ) : void |
|
|
testSubstWithUniversalQuantifierAndOneOfTwoVariablesMatched ( ) : void |
|
|
testSubstWithUniversalQuantifierAndSngleVariable ( ) : void |
|
|
testSubstWithUniversalQuantifierAndZeroVariablesMatched ( ) : void |
|
|