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, lengthExecutionTraceWithoutBottomStepsadd, 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 DCNetExecutionTrace(DCNet 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 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