private testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds ( ) : void | ||
리턴 | void |
public void testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds()
{
testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds(
new FOLModelElimination(), true);
}
}