public class DCNetExecutionTrace extends ExecutionTrace
numberOfBottomSteps
Constructor and Description |
---|
DCNetExecutionTrace(DCNet model) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
clone() |
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getTraceName() |
int |
hashCode() |
boolean |
isComplete() |
java.util.Collection<ExecutionTrace> |
successors(ExecutionStep logStep) |
add, addAll, addAll, getLast, getNumberBottomSteps, lengthExecutionTraceWithoutBottomSteps
add, addAll, clear, contains, ensureCapacity, forEach, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize
public DCNetExecutionTrace(DCNet model)
public boolean isComplete()
isComplete
in class ExecutionTrace
public java.util.Collection<ExecutionTrace> successors(ExecutionStep logStep)
successors
in class ExecutionTrace
public java.lang.Object clone()
clone
in class java.util.ArrayList<ExecutionStep>
public int hashCode()
hashCode
in interface java.util.Collection<ExecutionStep>
hashCode
in interface java.util.List<ExecutionStep>
hashCode
in class java.util.AbstractList<ExecutionStep>
public boolean equals(java.lang.Object obj)
equals
in interface java.util.Collection<ExecutionStep>
equals
in interface java.util.List<ExecutionStep>
equals
in class java.util.AbstractList<ExecutionStep>
public java.lang.String getTraceName()
getTraceName
in class ExecutionTrace