public class ApplyStrategyInfo
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private int |
appliedRuleAppsCount |
private java.lang.Throwable |
error |
private java.lang.String |
message |
private Goal |
nonCloseableGoal |
private int |
nrClosedGoals |
private Proof |
proof |
private long |
timeInMillis |
Constructor and Description |
---|
ApplyStrategyInfo(java.lang.String message,
Proof proof,
java.lang.Throwable error,
Goal nonCloseableGoal,
long timeInMillis,
int appliedRuleAppsCount,
int nrClosedGoals) |
Modifier and Type | Method and Description |
---|---|
int |
getAppliedRuleApps() |
int |
getClosedGoals() |
java.lang.Throwable |
getException() |
Proof |
getProof() |
long |
getTime() |
boolean |
isError() |
Goal |
nonCloseableGoal() |
java.lang.String |
reason() |
java.lang.String |
toString() |
private final java.lang.String message
private final Goal nonCloseableGoal
private final java.lang.Throwable error
private final long timeInMillis
private final int appliedRuleAppsCount
private final int nrClosedGoals
private final Proof proof
public java.lang.String reason()
public Goal nonCloseableGoal()
public boolean isError()
public java.lang.Throwable getException()
public long getTime()
public int getClosedGoals()
public int getAppliedRuleApps()
public Proof getProof()
public java.lang.String toString()
toString
in class java.lang.Object