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