private class ProofCorrectnessMgt.DefaultMgtProofListener extends Object implements RuleAppListener
Modifier | Constructor and Description |
---|---|
private |
ProofCorrectnessMgt.DefaultMgtProofListener() |
private ProofCorrectnessMgt.DefaultMgtProofListener()
public void ruleApplied(ProofEvent e)
RuleAppListener
ruleApplied
in interface RuleAppListener