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