private testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds ( ) : void | ||
리턴 | void |
public void testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds()
{
// TFM is unable to find the correct answer to this in a reasonable
// amount of time for a JUnit test.
testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds(
new FOLTFMResolution(10 * 1000), true);
}