public class ProofSearchData
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ProofSearchData.TerminationStatus
Describes how the proof-search terminated.
|
Modifier and Type | Method and Description |
---|---|
long |
getEndTime()
Returns the end time of the proof-search or
-1 if the
proof-search did not terminate. |
long |
getExecutionTime()
Returns the time required by the proof-search in milliseconds.
|
long |
getIntialNodeSetConstructionTime()
Returns the time required to build the initial node set.
|
long |
getIterationCounter()
Returns the number of iterations performed by the engine during the
proof-search.
|
int |
getMaxStackSize()
Returns the maximum depth of the stack during the proof-search.
|
long |
getNumberOfGeneratedNodes()
Returns the number of node-sets generated during the proof-search.
|
long |
getNumberOfRestoredBacktrackPoints()
Returns the number of times a backtrack point has been restored from the
stack during the proof-search.
|
long |
getNumberOfRestoredBranchPoints()
Returns the number of times a branch point has been restored from the stack
during the proof-search.
|
long |
getParsingProblemTime()
Returns the time required to parse the problem description in milliseconds.
|
ProblemDescription |
getProblemDescription() |
_Prover |
getProver()
Returns the proved used to perform the proof-search.
|
ProofSearchResult |
getResult()
Returns the result of the proof-search.
|
long |
getStartTime()
Returns the start time of the proof-search.
|
ProofSearchData.TerminationStatus |
getTerminationStauts() |
Trace |
getTrace()
Returns the trace of the proof-search if the trace option was set or
null otherwise. |
_AbstractGoal |
goal()
Returns the goal of the proof-search.
|
public _AbstractGoal goal()
public _Prover getProver()
public ProblemDescription getProblemDescription()
public ProofSearchResult getResult()
public ProofSearchData.TerminationStatus getTerminationStauts()
public long getIterationCounter()
public int getMaxStackSize()
public long getNumberOfGeneratedNodes()
public long getNumberOfRestoredBacktrackPoints()
public long getNumberOfRestoredBranchPoints()
public long getExecutionTime()
public long getParsingProblemTime()
public long getIntialNodeSetConstructionTime()
public long getStartTime()
public long getEndTime()
-1
if the
proof-search did not terminate.-1
if the
proof-search did not terminate.public Trace getTrace()
null
otherwise.null
.