public class ReplayState extends java.lang.Object implements java.lang.Comparable<ReplayState>
Modifier and Type | Field and Description |
---|---|
protected float |
f_cost |
protected float |
h_cost |
protected ExecutionTrace |
logTracePrefix |
protected ExecutionTrace |
processTracePrefix |
long |
treeSize |
int |
visitedNodes |
Constructor and Description |
---|
ReplayState() |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(ReplayState o) |
float |
getCost() |
java.util.List<ExecutionStep> |
getLogTracePrefix() |
java.util.List<ExecutionStep> |
getProcessTracePrefix() |
java.lang.String |
getTraceName() |
java.lang.String |
toString() |
protected ExecutionTrace processTracePrefix
protected ExecutionTrace logTracePrefix
protected float f_cost
protected float h_cost
public int visitedNodes
public long treeSize
public int compareTo(ReplayState o)
compareTo
in interface java.lang.Comparable<ReplayState>
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.List<ExecutionStep> getProcessTracePrefix()
public java.util.List<ExecutionStep> getLogTracePrefix()
public java.lang.String getTraceName()
public float getCost()