de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Interface CounterexampleTrace

All Superinterfaces:

Iterator<ProgramState>

All Known Subinterfaces:

ModelCheckingTrace

All Known Implementing Classes:

FailureTrace

public interface CounterexampleTrace
extends Iterator<ProgramState>

Method Summary

Modifier and Type	Method and Description
ProgramState	getFinalState()
ProgramState	getInitialState()

Methods inherited from interface java.util.Iterator

forEachRemaining, hasNext, next, remove

Method Detail

getInitialState

ProgramState getInitialState()

getFinalState

ProgramState getFinalState()