public interface TaskFinishedInfo
int
getAppliedRules()
getClosedGoals()
Proof
getProof()
Object
getResult()
getSource()
long
getTime()
Object getSource()
Object getResult()
long getTime()
int getAppliedRules()
int getClosedGoals()
Proof getProof()