public interface TaskFinishedInfo
Modifier and Type | Method and Description |
---|---|
int |
getAppliedRules() |
int |
getClosedGoals() |
Proof |
getProof() |
java.lang.Object |
getResult() |
java.lang.Object |
getSource() |
long |
getTime() |
java.lang.Object getSource()
java.lang.Object getResult()
long getTime()
int getAppliedRules()
int getClosedGoals()
Proof getProof()