public static interface ProblemInitializer.ProblemInitializerListener
Modifier and Type | Method and Description |
---|---|
void |
progressStarted(Object sender) |
void |
progressStopped(Object sender) |
void |
proofCreated(ProblemInitializer sender,
ProofAggregate proofAggregate) |
void |
reportException(Object sender,
ProofOblInput input,
Exception e) |
void |
reportStatus(Object sender,
String status) |
void |
reportStatus(Object sender,
String status,
int progress) |
void |
resetStatus(Object sender) |
void proofCreated(ProblemInitializer sender, ProofAggregate proofAggregate)
void progressStarted(Object sender)
void progressStopped(Object sender)
void resetStatus(Object sender)
void reportException(Object sender, ProofOblInput input, Exception e)