public interface CounterexampleTrace extends Iterator<ProgramState>
| Modifier and Type | Method and Description |
|---|---|
ProgramState |
getFinalState() |
ProgramState |
getInitialState() |
forEachRemaining, hasNext, next, removeProgramState getInitialState()
ProgramState getFinalState()
Copyright © 2018. All rights reserved.