public class ApplyStrategyInfo
extends java.lang.Object
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() |
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
Copyright © 2003-2019 The KeY-Project.