public interface Replayable
Modifier and Type | Method and Description |
---|---|
ExecutionTrace |
buildEmptyPrefix() |
ExecutionTrace |
createLogExecutionTrace(ExecutionTrace sigmaT) |
java.lang.String |
getSetForVariable(java.lang.String var) |
java.util.Set<java.lang.Comparable> |
getSetValues(java.lang.String setForVariable) |
int |
lengthShortestTrace() |
ExecutionTrace buildEmptyPrefix()
java.lang.String getSetForVariable(java.lang.String var)
java.util.Set<java.lang.Comparable> getSetValues(java.lang.String setForVariable)
int lengthShortestTrace()
ExecutionTrace createLogExecutionTrace(ExecutionTrace sigmaT)