public class DPNetExecutionTrace extends ExecutionTrace
numberOfBottomSteps| Constructor and Description |
|---|
DPNetExecutionTrace(DPNet model) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object |
clone() |
java.lang.String |
getTraceName() |
int |
hashCode() |
boolean |
isComplete() |
ExecutionTrace |
removeBottomEvent() |
java.util.Collection<ExecutionTrace> |
successors(ExecutionStep logStep) |
add, addAll, addAll, getLast, getNumberBottomSteps, lengthExecutionTraceWithoutBottomSteps, setTraceName, toStringWithoutAttributesadd, 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, trimToSizepublic DPNetExecutionTrace(DPNet model)
public boolean isComplete()
isComplete in class ExecutionTracepublic java.util.Collection<ExecutionTrace> successors(ExecutionStep logStep)
successors in class ExecutionTracepublic 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 ExecutionTrace removeBottomEvent()
public java.lang.String getTraceName()
getTraceName in class ExecutionTrace