private class ApplyStrategy.ProofListener extends Object implements RuleAppListener
private
ApplyStrategy.ProofListener()
void
ruleApplied(ProofEvent e)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
private ApplyStrategy.ProofListener()
public void ruleApplied(ProofEvent e)
ruleApplied
RuleAppListener