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