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