| private testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds ( ) : void | ||
| return | void | |
public void testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds()
{
testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds(
new FOLTFMResolution(10 * 1000), true);
}
}