private class ProofCorrectnessMgt.DefaultMgtProofListener extends java.lang.Object implements RuleAppListener
Modifier | Constructor and Description |
---|---|
private |
DefaultMgtProofListener() |
Modifier and Type | Method and Description |
---|---|
void |
ruleApplied(ProofEvent e)
invoked when a rule has been applied
|
public void ruleApplied(ProofEvent e)
RuleAppListener
ruleApplied
in interface RuleAppListener