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