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