public class DefaultTaskFinishedInfo extends Object implements TaskFinishedInfo
Modifier and Type | Field and Description |
---|---|
private int |
appliedRules |
private int |
closedGoals |
private Proof |
proof |
private Object |
result |
private Object |
source |
private long |
timeInMillis |
Constructor and Description |
---|
DefaultTaskFinishedInfo(Object source,
Object result,
Proof proof,
long time,
int appliedRules,
int closedGoals) |
Modifier and Type | Method and Description |
---|---|
int |
getAppliedRules() |
int |
getClosedGoals() |
Proof |
getProof() |
Object |
getResult() |
Object |
getSource() |
long |
getTime() |
String |
toString() |
private final Object source
private final Object result
private final Proof proof
private final long timeInMillis
private final int appliedRules
private final int closedGoals
public long getTime()
getTime
in interface TaskFinishedInfo
public Object getResult()
getResult
in interface TaskFinishedInfo
public Object getSource()
getSource
in interface TaskFinishedInfo
public int getAppliedRules()
getAppliedRules
in interface TaskFinishedInfo
public int getClosedGoals()
getClosedGoals
in interface TaskFinishedInfo
public Proof getProof()
getProof
in interface TaskFinishedInfo