static class IntermediateProofReplayer.Result extends Object
private List<Throwable>
errors
private Goal
lastSelectedGoal
private String
status
IntermediateProofReplayer.Result(String status, List<Throwable> errors, Goal lastSelectedGoal)
List<Throwable>
getErrors()
Goal
getLastSelectedGoal()
String
getStatus()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
private String status
private List<Throwable> errors
private Goal lastSelectedGoal
public IntermediateProofReplayer.Result(String status, List<Throwable> errors, Goal lastSelectedGoal)
public String getStatus()
public List<Throwable> getErrors()
public Goal getLastSelectedGoal()