public class ProofClosedNotificationEvent extends NotificationEvent
Constructor and Description |
---|
ProofClosedNotificationEvent(Proof proof)
creates a proof closed notification event
|
Modifier and Type | Method and Description |
---|---|
Proof |
getProof() |
getEventID