de.rwth.i2.attestor.phases.modelChecking.modelChecker

Interface ModelCheckingTrace

All Superinterfaces:

CounterexampleTrace, Iterator<ProgramState>

All Known Implementing Classes:

FailureTrace

public interface ModelCheckingTrace
extends CounterexampleTrace

Method Summary

Modifier and Type	Method and Description
List<Integer>	getStateIdTrace()
StateSpace	getStateSpace()

Methods inherited from interface de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.CounterexampleTrace

getFinalState, getInitialState

Methods inherited from interface java.util.Iterator

forEachRemaining, hasNext, next, remove

Method Detail

getStateIdTrace

List<Integer> getStateIdTrace()

getStateSpace

StateSpace getStateSpace()